Feed aggregator

Show HN: QuickScreen – Create job post with bespoke screening questions

Hacker News - Sun, 10/27/2024 - 9:08am

Avoid low effort applicant on your job post with automated screening questions based on uploaded CV.

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

Points: 1

# Comments: 0

Categories: Hacker News

Ask HN: Lean for Machine Learning?

Hacker News - Sun, 10/27/2024 - 8:46am

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

Categories: Hacker News

Visualizing the Nucleus

Hacker News - Sun, 10/27/2024 - 8:15am
Categories: Hacker News

Ask HN: What does a fatal attack on the internet look like?

Hacker News - Sun, 10/27/2024 - 8:12am

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

Categories: Hacker News

Pages