frontpage.
newsnewestaskshowjobs

Open Source @Github

fp.

Show HN: Searchable directory of 22k+ products from worker-owned co-ops

https://www.workerowned.info/
359•IESAI_ski•14h ago•68 comments

Show HN: Salt – a systems language with Z3 theorem proving in the compiler

https://salt-lang.dev
37•bneb-dev•17h ago•19 comments

Show HN: GolemUI – Declarative Form Engine

https://golemui.com
43•wtfdeveloper•19h ago•63 comments

Show HN: Unobin compiles Infrastructure as Code to one binary

https://cloudboss.co/docs/unobin
16•joseph•3d ago•1 comments

Show HN: Pglayers – PostgreSQL extensions as stackable Docker layers

https://github.com/pglayers/pglayers
38•iemejia•18h ago•5 comments

Show HN: Cyclearchive.com – search vintage cycling magazines

https://cyclearchive.com/search/
11•alastairr•5d ago•2 comments

Show HN: QR code renderer in a TrueType font

https://qr.jim.sh/
81•foodevl•4d ago•12 comments

Show HN: Curvytron 2, I rewrote my browser party game, 10 years later

https://curvytron2.com/
11•tom32i•1d ago•4 comments

Show HN: I wrote a Rust book ending with a Redis clone

https://shankhan3.gumroad.com/l/dnwmtp
7•zeeshanali0094•4h ago•0 comments

Show HN: Shark Tank but you pitch your idea to indie hackers

https://indiesharktank.vercel.app/
6•roozka10•12h ago•1 comments

Show HN: PMB – local memory for coding agents that shows if it is used

https://pmbai.dev
24•oleksiibond•2d ago•9 comments

Show HN: Margarita - Programming language for Agents using Markdown-ish syntax

https://www.margarita.run
4•margarita_dev•6h ago•1 comments

Show HN: My 13-year-old built an ant colony tracker

https://formicarium.es
73•abelgvidal•1d ago•52 comments

Show HN: Classify mechanical faults using Contrastive Language-Audio Pretraining

https://github.com/adam-s/car-diagnosis
9•dataviz1000•17h ago•0 comments

Show HN: Forgejo Appliance, a private Git server based on OrbStack and Tailscale

https://github.com/highpost/forgejo-appliance
6•highpost•12h ago•1 comments

Show HN: Techno Kick

https://technokick.com/
3•stagas•7h ago•0 comments

Show HN: GONK – Lightweight Edge-Native API Gateway in Go

https://github.com/JustVugg/gonk
3•vforno•12h ago•0 comments

Show HN: Z-Jail – A 130 KB Linux sandbox-C99 with 7 defense layers and zero deps

https://github.com/Division-36/Z-Jail/
23•Zierax•15h ago•23 comments

Show HN: Morph Reflexes – Multi-head classifiers for agent traces

13•bhaktatejas922•1d ago•2 comments

Show HN: HackerNows – Native iOS HN Client

https://hackernows.app/
28•maguszin•1d ago•55 comments

Show HN: Reminal – A zero-config SSH alternative that's also mobile friendly

https://github.com/harshalgajjar/reminal
11•harshalgajjar•20h ago•2 comments

Show HN: I built a photography weather alert system

https://photosignal.app/
2•ameon•10h ago•0 comments

Show HN: Toolnexus for Python – MCP, agent skills,a2a for any LLM

https://pypi.org/project/toolnexus/
2•muthuishere•11h ago•0 comments

Show HN: LIBR tracing with source ledger rows and byte-exact PDF verification

https://exitprotocols.com/engineering/libr-state-machine/
4•cd_mkdir•16h ago•2 comments

Show HN: Banto – Turn any topic into a live game room in minutes

https://banto.tv
2•douglaspham•11h ago•0 comments

Show HN: Open-source sandbox for your product team

15•spacspade•17h ago•13 comments

Show HN: Simulate what AI agents do to an engineering org (no signup)

https://www.orgonaut.co/tools/agentic-reorg-simulator/
2•orgonaut•12h ago•0 comments

Show HN: C++, Java and C# light-weight-logger

https://github.com/PenguineDavid/light-weight-logger
12•PenguineDavid•1d ago•0 comments

Show HN: Moxie – an open-source money agent that can't act without your consent

https://github.com/JacobBrooke1/moxie
3•JacobBrooke24•13h ago•0 comments

Show HN: CLI that helps AI agents avoid vulnerable dependencies

https://github.com/clidey/deptrust
3•modelorona•14h ago•0 comments
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 >