frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

fp.

Open in hackernews

Show HN: val – An arbitrary precision calculator language

https://github.com/terror/val
34•crap•11mo ago
Wrote this to learn more about the `chumsky` parser combinator library, rustyline, and the `ariadne` error reporting crate.

Such a nice DX combo for writing new languages.

Still a work in progress, but I thought I'd share :)

Comments

jasonjmcghee•11mo ago
Hey nice! We have similar interests. I built something similar, but with way less calculator functionality than you did :D

But the main idea I was going for was real-time JIT evaluation with rendered errors (specifically learning / using cranelift JIT) - less to do with the calculator aspect.

I ended up choosing miette for errors.

https://github.com/jasonjmcghee/basic-treesitter-cranelift-j...

occamatl•11mo ago
> sqrt(10^100)-1 -> 100000000000000000000000000000000000000000000000000

Not what I expected.

emaro•11mo ago
In the readme it says it uses double precision for numbers. Also not quite whet I expected from 'arbitrary precision'.
chriswarbo•11mo ago
Hmm, yeah. It cites `bc` as prior art, which is quite widely used; but another interesting arbitrary-precision calculator is spigot https://www.chiark.greenend.org.uk/~sgtatham/spigot/spigot.h...
mananaysiempre•11mo ago
Also the AOSP calculator, of course[1,2,3].

[1] https://chadnauseam.com/coding/random/calculator-app

[2] https://dl.acm.org/doi/10.1145/2911981

[3] https://dl.acm.org/doi/10.1145/3385412.3386037

emmelaich•11mo ago
Ivy does big numbers (not arbitrary) but does rationals too. It's an APL subset.

    0.1 + 0.2
    3/10
https://github.com/robpike/ivy
lttlrck•11mo ago
the addition of astro_float fixed this.
primitivesuave•11mo ago
The UI is awesome, amazing work! However, arbitrary precision implies that there is no fixed upper limit to the number of digits - simple tests like `0.1 + 0.2 == 0.3` and `2^53 == 2^53 + 1` (both produce "false") indicates you're still using IEEE 754 double precision floats.

If "arbitrary precision" is not as important to you as "high precision", a 128 bit decimal has enough precision for 99% of real-world applications.

crap•11mo ago
Thanks for checking it out! Should have been more clear that this is actively being worked on. This is ultimately the goal, and I'm currently working on integrating `astro_float` as the base for numbers.
primitivesuave•11mo ago
That is awesome, I look forward to following the project and hopefully contributing! I became a better Rust programmer from reading your code :)
jdhwosnhw•11mo ago
Do you mean, the first returns false and the second returns true?
primitivesuave•11mo ago
Ah you're right, thank you for pointing it out!

In the previous version of this comment (where I was still reading it incorrectly) I added a fun fact, that the significand of an IEEE 754 double-precision float is only allocated 52 bits, but the "hidden bit trick" provides an extra bit of precision when the normalized form starts with 1.

johannesrexx•11mo ago
Rewrite it like so

> 1/10 + 2/10 == 3/10 true >

I_complete_me•11mo ago
I wish you well. And I clicked you a star on github. Keep up the good work.
crap•11mo ago
Thanks to everyone who gave feedback!

Arbitrary precision is now supported in 0.3.0 after integrating the `astro_float` (https://docs.rs/astro-float/latest/astro_float/index.html) `BigFloat` type as the base for numbers in the language.

Still working out the kinks, but its live so give it a try!

lttlrck•11mo ago
This is cool.

It love to have to base conversion functions, even if it's print only. Does that fit at all?

lttlrck•11mo ago
and different input base notations, 0x, o, 0b etc
crap•11mo ago
This definitely fits, base conversion is on the roadmap!
librasteve•11mo ago
very cool, welcome to the small club of CLI calculator authors! before I read this I knew of frink and crag (https://raku.land/zef:librasteve/App::Crag since you ask)

Crag is built on raku so has some neat tricks up its sleeve - you can see Crag of the Day to see some in action...

  crag '0.1+0.2=0.2'   #True (arbitrary precision)
  crag '₃₆123.45'      #3F.G77777  (base 36)
  crag 'e ** (i * π) =~= -1'   #True  (math symbols, complex numbers)
  crag '0rMCMXLIV'     #1944 (Roman numerals)
  crag '^<௪௨ mph>'     #42mph  (Unicode and units)
hee hee

Show HN: Signet – Autonomous wildfire tracking from satellite and weather data

https://signet.watch
32•mapldx•2h ago•2 comments

Show HN: RSS tool to remix feeds, build from webpages, and skip podcast reruns

https://sponder.app
2•kristjan•31m ago•0 comments

Show HN: Han – A Korean programming language written in Rust

https://github.com/xodn348/han
190•xodn348•17h ago•104 comments

Show HN: Code Royale – Play and learn poker with Claude Code (skill)

https://github.com/BohdanPetryshyn/code-royale
2•BohdanPetryshyn•2h ago•0 comments

Show HN: AgentMailr – dedicated email inboxes for AI agents

https://www.agentmailr.com/
5•kumardeepanshu•3h ago•1 comments

Show HN: Ichinichi – One note per day, E2E encrypted, local-first

117•katspaugh•19h ago•43 comments

Show HN: GrobPaint: Somewhere Between MS Paint and Paint.net

https://github.com/groverburger/grobpaint
50•__grob•15h ago•10 comments

Show HN: GitAgent – An open standard that turns any Git repo into an AI agent

https://www.gitagent.sh/
121•sivasurend•1d ago•29 comments

Show HN: Channel Surfer – Watch YouTube like it’s cable TV

https://channelsurfer.tv
588•kilroy123•3d ago•173 comments

Show HN: Context Gateway – Compress agent context before it hits the LLM

https://github.com/Compresr-ai/Context-Gateway
90•ivzak•1d ago•56 comments

Show HN: Data-anim – Animate HTML with just data attributes

https://github.com/ryo-manba/data-anim
14•ryo-manba•23h ago•4 comments

Show HN: Ink – Deploy full-stack apps from AI agents via MCP or Skills

https://ml.ink/
30•august-•3d ago•5 comments

Show HN: Learn Arabic with spaced repetition and comprehensible input

https://abjadpro.com
64•adangit•22h ago•22 comments

Show HN: Axe – A 12MB binary that replaces your AI framework

https://github.com/jrswab/axe
221•jrswab•3d ago•122 comments

Show HN: What was the world listening to? Music charts, 20 countries (1940–2025)

https://88mph.fm/
113•matteocantiello•4d ago•51 comments

Show HN: Signet.js – A minimalist reactivity engine for the modern web

https://github.com/sntran/signet.js/
3•sntran•11h ago•1 comments

Show HN: I built Wool, a lightweight distributed Python runtime

https://github.com/wool-labs/wool
13•bzurak•1d ago•4 comments

Show HN: KeyID – Free email and phone infrastructure for AI agents (MCP)

https://keyid.ai/
9•vasilyt•22h ago•8 comments

Show HN: OneCLI – Vault for AI Agents in Rust

https://github.com/onecli/onecli
160•guyb3•2d ago•50 comments

Show HN: SupplementDEX – The Evidence-Based Supplement Database

https://supplementdex.com/
16•richarlidad•1d ago•2 comments

Show HN: Rudel – Claude Code Session Analytics

https://github.com/obsessiondb/rudel
143•keks0r•3d ago•85 comments

Show HN: s@: decentralized social networking over static sites

http://satproto.org/
411•remywang•3d ago•219 comments

Show HN: Understudy – Teach a desktop agent by demonstrating a task once

https://github.com/understudy-ai/understudy
118•bayes-song•2d ago•41 comments

Show HN: Structural analysis of the D'Agapeyeff cipher (1939)

https://msgtrail.com/posts/unmasking-the-dagapeyeff-cipher-a-multi-faceted-architecture
3•evaneykelen•14h ago•0 comments

Show HN: Open-source browser for AI agents

https://github.com/theredsix/agent-browser-protocol
155•theredsix•3d ago•53 comments

Show HN: Hedra – an open-world 3D game I wrote from scratch before LLMs

https://github.com/maxilevi/project-hedra
6•maxilevi•22h ago•0 comments

Show HN: Costly – Open-source SDK that audits your LLM API costs

https://www.getcostly.dev/
4•itsdannyt•16h ago•1 comments

Show HN: Replacing $50k manual forensic audits with a deterministic .py engine

3•cd_mkdir•16h ago•1 comments

Show HN: AI coding agent for VS Code with pay-as-you-go pricing- no subscription

https://www.llmonestop.com/#pricing
2•hhossain•17h ago•0 comments

Show HN: ZaneOps, A beautiful and fast self hosted alternative to Vercel

https://zaneops.dev/
3•fredkisss•17h ago•1 comments