Feed aggregator

Article URL: https://www.indiehackers.com/post/tech/security-bugs-engulf-shipfast-a-popular-indie-hackers-product-in-drama-y2VgBkHu7b91rSCEEUSO

Comments URL: https://news.ycombinator.com/item?id=41962291

Points: 1

# Comments: 0

Article URL: https://permiso.io/blog/introducing-cloudtail-an-open-source-tool-for-long-term-cloud-log-retention-and-searchability

Comments URL: https://news.ycombinator.com/item?id=41962266

Points: 1

# Comments: 0

Article URL: https://www.everythingisatrolley.com/p/liquid-vs-illiquid-careers

Comments URL: https://news.ycombinator.com/item?id=41962253

Points: 1

# Comments: 0

Article URL: https://balaskas.gr/blog/2022/11/11/gitlab-as-a-terraform-state-backend/

Comments URL: https://news.ycombinator.com/item?id=41962246

Points: 1

# Comments: 0

Article URL: https://www.nytimes.com/2024/10/25/headway/meet-the-new-home-kitchen-business.html

Comments URL: https://news.ycombinator.com/item?id=41962242

Points: 1

# Comments: 1

JAX kinda excels at tracing python functions into jaxpr then into XLA because of the pure function assumption JAX has made.

How about using Lean, the dependently typed language. I know this might hinder speed of coding, but what if? Not just for deep learning but ML.

What if we write graph networks and graph updates through Lean or so on. Could there be any upsides with using Lean for ML? (The downsides are kinda obvious, so let’s maybe talk about possible up sides)

I heard some research group is trying to add type theory into deep learning through category theory, but i’m unsure of how that’s going and if this question might be related to that.

Do you think there is any benefit in using Lean for ML research?

Comments URL: https://news.ycombinator.com/item?id=41962216

Points: 1

# Comments: 0

Article URL: https://github.com/soimort/you-get

Comments URL: https://news.ycombinator.com/item?id=41962205

Points: 1

# Comments: 0

Article URL: https://www.theguardian.com/sport/2024/oct/27/rumble-in-the-jungle-50-years-on-how-ali-danced-rings-around-apartheid

Comments URL: https://news.ycombinator.com/item?id=41962192

Points: 1

# Comments: 0

Article URL: https://pmc.ncbi.nlm.nih.gov/articles/PMC3068791/

Comments URL: https://news.ycombinator.com/item?id=41962189

Points: 1

# Comments: 0

Article URL: https://www.numericalexpert.com/articles/single_pass_stat/

Comments URL: https://news.ycombinator.com/item?id=41962186

Points: 1

# Comments: 0

Article URL: https://www.youtube.com/watch?v=ach9JLGs2Yc

Comments URL: https://news.ycombinator.com/item?id=41961986

Points: 1

# Comments: 0

I've always been worried about the fragility of infrastructure in the scenario of a real war. I'm under the impression that it wouldn't be too hard for e.g. Russia to take down the European power grid with a cyber attack. In the last couple of years Russia has been spending effort to disconnect from the global internet, and thus the following question naturally arises: "What does a fatal attack on the global internet look like and how feasible is it"?

Comments URL: https://news.ycombinator.com/item?id=41961961

Points: 1

# Comments: 0

Article URL: https://unherd.com/newsroom/the-backbone-of-german-industry-is-collapsing/

Comments URL: https://news.ycombinator.com/item?id=41961956

Points: 1

# Comments: 0

Article URL: https://news.berkeley.edu/2024/10/23/capturing-carbon-from-the-air-just-got-easier/

Comments URL: https://news.ycombinator.com/item?id=41961939

Points: 1

# Comments: 0

Article URL: https://onlinelibrary.wiley.com/doi/10.1111/opo.13408

Comments URL: https://news.ycombinator.com/item?id=41961920

Points: 1

# Comments: 0

Article URL: https://expertofobsolescence.substack.com/p/demystifying-distributed-checkpointing

Comments URL: https://news.ycombinator.com/item?id=41961902

Points: 1

# Comments: 0

Article URL: https://www.youtube.com/watch?v=Dry6wMRN6MI

Comments URL: https://news.ycombinator.com/item?id=41961898

Points: 1

# Comments: 0

Article URL: https://fluidapp.com/

Comments URL: https://news.ycombinator.com/item?id=41961874

Points: 1

# Comments: 0

Article URL: https://www.nytimes.com/2024/10/27/arts/music/chopin-waltz-discovery.html

Comments URL: https://news.ycombinator.com/item?id=41961866

Points: 8

# Comments: 1