frontpage.
newsnewestaskshowjobs

Open Source @Github

fp.

Open in hackernews

Show HN: val – An arbitrary precision calculator language

https://github.com/terror/val
34•crap•1y 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•1y 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•1y ago
> sqrt(10^100)-1 -> 100000000000000000000000000000000000000000000000000

Not what I expected.

emaro•1y ago
In the readme it says it uses double precision for numbers. Also not quite whet I expected from 'arbitrary precision'.
chriswarbo•1y 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•1y 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•1y 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•1y ago
the addition of astro_float fixed this.
primitivesuave•1y 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•1y 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•1y 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•1y ago
Do you mean, the first returns false and the second returns true?
primitivesuave•1y 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.

I_complete_me•1y ago
I wish you well. And I clicked you a star on github. Keep up the good work.
crap•1y 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•1y ago
This is cool.

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

lttlrck•1y ago
and different input base notations, 0x, o, 0b etc
crap•1y ago
This definitely fits, base conversion is on the roadmap!
librasteve•1y 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
johannesrexx•1y ago
Rewrite it like so

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

Show HN: I made a word building game supporting anagrams and one handed use

6•busymom0•10h ago•0 comments

Show HN: OwnTime – a chess clock for your day's priorities

https://owntime.app/
104•fmos•2d ago•56 comments

Show HN: Sirenfall, a civil defense siren synthesized in Web Audio

https://sirenfall.live/
4•beeswaxpat•4h ago•0 comments

Show HN: Real-time AI news aggregator with daily digest

https://aibriefs.news
9•michelmi•10h ago•13 comments

Show HN: Devbar – Point at what to change. Leave a comment. Your agent ships it

https://devbar.sh
3•linesofcode•5h ago•2 comments

Show HN: The cheapest GPU cloud – H100s at $2.04/HR, H200s at $3/HR

https://compute.cheap/
49•EmiCorleone•22h ago•20 comments

Show HN: MesaOS – An operating system written from scratch in Rust

https://github.com/crackanimad0r/MesaOS
3•crackanimador•6h ago•9 comments

Show HN: I built my first MCP to manage Google Ads

https://adchestra.com/
14•MichalKrk•12h ago•10 comments

Show HN: Bridle: hand your agent's context to a coworker's agent

https://www.bridle.network/
5•withoutshape•7h ago•0 comments

Show HN: HN Match Maker – Matching "Who Wants to Be Hired?" With "Who's Hiring?"

https://hnmatchmaker.com/
114•all2•2d ago•45 comments

Show HN: NGPDFs – 50 PDF tools that never upload your files

https://ngpdfs.com
2•amulyakashyap09•7h ago•0 comments

Show HN: A benchmark for flight search intent

https://fjmatrix.github.io/flight-search-intent-eval/
4•rabbit_1•10h ago•0 comments

Show HN: WordPress search and replace that doesn't corrupt serialized data

https://github.com/ibrahimhajjaj/lucid-search-replace
2•ibrahimwithi•7h ago•0 comments

Show HN: Model – A Minimal Python ORM for MySQL and SQLite

https://github.com/el1s7/model
4•el1s7•7h ago•0 comments

Show HN: MCP Tool Definition Quality Score (TDQS) Spec

https://tdqs.dev
7•punkpeye•7h ago•0 comments

Show HN: LibPolyCall – a C runtime broker for cross-language function calls

https://github.com/obinexus/libpolycall-v1
2•obinexus•7h ago•0 comments

Show HN: Wordmate – local speech-to-text for macOS

https://github.com/vdszds/wordmate
3•vdszds•7h ago•0 comments

Show HN: Radia – agent coordination with leases, permissions and provenance

https://radia.sh/
2•ymodulo•7h ago•0 comments

Show HN: I built an app that makes your goals inevitable

https://www.getinference.app/
2•ifeanyi_sa•7h ago•0 comments

Show HN: A gravity simulator where forces propagate at the speed of light

https://github.com/alessandro-pioli/AstroCausal_Engine
3•alessandropioli•7h ago•0 comments

Show HN: WiringPi 3.20 – Updated GPIO Library for Raspberry Pi

https://github.com/WiringPi/WiringPi
2•evil99•7h ago•0 comments

Show HN: Ensemble Prover - Open-Source Python Autonomous Theorem Prover

https://github.com/graviterra/ensemble-prover
2•stereochemical3•8h ago•1 comments

Show HN: A Context Registry for AI coding agents

https://context.apimatic.io/
7•sohaibtariq•8h ago•1 comments

Show HN: Ardent, a code-first agent for non-engineering work

https://ardent.ai/
9•nkohari•9h ago•2 comments

Show HN: A searchable, timestamped index of 1,124 AI Engineer talks

https://aietalks.com/
10•strickvl•10h ago•2 comments

Show HN: Yan – In-browser glitch art and texture lab without server uploads

https://yan.yichenlab.com/textures/
2•xcc3641•10h ago•0 comments

Show HN: Newton's Orchard – Browser-based space/gravity playground

https://newtonsorchard.app
29•andrewchilds•2d ago•3 comments

Show HN: Instantly get the transcript from the agent that wrote any line of code

https://github.com/ctxrs/ctx/blob/main/README.md
4•luca-ctx•10h ago•1 comments

Show HN: Keydris - Check what an agent is allowed to do before it runs

https://keydris.com
4•ahmed89•10h ago•0 comments

Show HN: VT Code – My attempt at building a coding-agent harness

https://github.com/vinhnx/VTCode
3•vinhnx•10h ago•1 comments