Nerding Out about Heaters (herman.bearblog.dev)

1 points by HermanMartinus 1m ago 0 comments

Show HN: Minimal Tool to View Top Reddit Posts–No Login, No Tracking (reddit-top.pages.dev)

1 points by pekingzcc 3m ago 0 comments

Seeking beta users for Webhound, an AI agent that builds datasets from the web

1 points by mfkhalil 7m ago 0 comments

Game Accessibility Guidelines (gameaccessibilityguidelines.com)

1 points by ibobev 9m ago 0 comments

Social media lies fuelled a rush to war between India and Pakistan (theguardian.com)

1 points by beardyw 11m ago 0 comments

Mastering Modern Monorepo Development with Pnpm, Workspaces (jsdev.space)

1 points by javatuts 12m ago 0 comments

Why I Am No Longer an AI Doomer (thedeepdish.org)

3 points by nathan_f77 16m ago 1 comments

Safari Technology Preview 220 Release Notes (developer.apple.com)

1 points by tosh 18m ago 0 comments

Gurus of 90s Web Design: Zeldman, Siegel, Nielsen (cybercultural.com)

2 points by panic 22m ago 0 comments

Flame Charts: The Time-Aware Sibling of Flame Graphs (polarsignals.com)

1 points by tanelpoder 22m ago 0 comments

Haiti's Beleaguered Government Launches Drones Against Gangs (wsj.com)

1 points by Michelangelo11 23m ago 0 comments

Archaea (en.wikipedia.org)

1 points by lukan 24m ago 0 comments

Kigen – Design system token and style generator (kigen.design)

1 points by realvjy 27m ago 1 comments

Einstein, Hawking, and Tao (Haiku) (jerry.wtf)

1 points by personjerry 29m ago 1 comments

Michigan Isn't Supposed to Have Earthworms [video] (youtube.com)

1 points by tarcar 29m ago 0 comments

Agents Aren't Juniors, They Are Amnesiac Spies (avdi.codes)

3 points by kiyanwang 35m ago 1 comments

Agentic book – The Human Algorithm [pdf] (github.com)

1 points by JayD0ubleu 35m ago 0 comments

Philips Ease (thefoggiest.dev)

1 points by ingve 38m ago 0 comments

Haskell Weekly Issue 474 (haskellweekly.news)

2 points by amalinovic 42m ago 0 comments

Intel Shows Off Professional Battlemage Cards (semiaccurate.com)

2 points by walterbell 45m ago 0 comments

Ivey Business School's Value Investing Program – Adam Waterous [video] (youtube.com)

1 points by chenchenchen 57m ago 1 comments

Top math software platform still offline following ransomware attack (techradar.com)

1 points by howisthatposs 58m ago 0 comments

Show HN: OpenDeRisk – open-source intelligent app risk manager (github.com)

1 points by jamie-vesoft 1h ago 0 comments

China extends its reach into the Solar System with launch of asteroid mission (arstechnica.com)

3 points by rbanffy 1h ago 1 comments

Elon Musk exits US Government after breaking with Trump on tax bill (theguardian.com)

5 points by dagss 1h ago 0 comments

Redesigning the Initial Rust Bootstrap Sequence (blog.rust-lang.org)

3 points by ingve 1h ago 0 comments

NI3 (en.wikipedia.org)

1 points by keepamovin 1h ago 2 comments

Rethinking African edtech: Why AI alone won't be enough (techcabal.com)

1 points by MarcoDewey 1h ago 0 comments

Show HN: Flags Quiz – Flags of All World Countries (flags-quiz.com)

1 points by artiomyak 1h ago 0 comments

Saying Bye to Glitch (pketh.org)

3 points by tobr 1h ago 0 comments

We built a distributed cache for S3 (clickhouse.com)

2 points by samaysharma 1h ago 0 comments

Read Frog – Open-Source AI Language Translator and Teacher in Browser (github.com)

1 points by mengxi-ream 1h ago 1 comments

The weight of an entire industry trying to convince you that you're inadequate (buttondown.com)

3 points by tobr 1h ago 0 comments

Show HN: Warden – A Native (and Free) AI Chat App for macOS (karatsidhu.gumroad.com)

2 points by skarat 1h ago 0 comments

What's cooking on Sourcehut? Q2 2025 (sourcehut.org)

2 points by Tomte 1h ago 0 comments

STOC Best Paper Award: How to Find the Shortest Path – Faster (mpi-inf.mpg.de)

1 points by mfiguiere 1h ago 0 comments

Cyber Resilience Act and Open Source: What Maintainers Need to Know [video] (youtube.com)

2 points by lis 1h ago 0 comments

Glacier collapse buries most of Swiss village (bbc.com)

6 points by hubraumhugo 1h ago 1 comments

Show HN: Entropy – Sharing screen is scary in SaaS age (entropysec.io)

2 points by RazCo 1h ago 0 comments

Emergency We Cannot Feel: On the Psychological Unreadiness for American Collapse (notesfromthecircus.com)

7 points by cmurf 1h ago 2 comments

Statically typed languages are like Elephants

1 points by pyeri 1h ago 0 comments

Raw.githubusercontent.com – How to authenticate and see headers with info? (github.com)

2 points by jarofgreen 1h ago 0 comments

No iOS 19: Apple Going Straight to iOS 26 (macrumors.com)

1 points by Tomte 1h ago 0 comments

Show HN: I made an AI prompt manager to stop rewriting the same prompts (echostash.app)

1 points by debeast 1h ago 0 comments

Front End Engineering Team Working Style Guide (github.com)

1 points by vishwajeetv 1h ago 0 comments

The Maid Who Restored Charles II (historytoday.com)

3 points by samclemens 1h ago 0 comments

YouTube Is Swallowing TV Whole, and It's Coming for the Sitcom (bloomberg.com)

2 points by helsinkiandrew 1h ago 1 comments

The Art of the Critic (metropolitanreview.org)

3 points by benbreen 2h ago 1 comments

The Nature of Thought: A conversation with a Claude instance (docs.google.com)

2 points by doener 2h ago 1 comments

Bidirectional typing with unification for higher-rank polymorphism (github.com)

1 points by matt_d 2h ago 0 comments

Frege Is a Haskell for the JVM

5 vram22 2 5/28/2025, 1:45:10 AM github.com ↗

Comments (2)

vram22 · 1d ago

From the site:

What is Frege?

Winner of the JavaOne Emerging Languages Bowl 2015, 2016, 2017

Frege is a Haskell for the JVM.

Like any Haskell, it is purely functional, enjoys a strong static type system with global type inference and non-strict - also known as lazy - evaluation.

Frege compiles to Java, runs on the JVM, and uses any Java library you want. It can be used inside any Java project.

cubefox · 1d ago

Come on, Frege is the greatest logician since Aristotle, not some JVM port.