SoulverCore
insect
Our great sponsors
SoulverCore | insect | |
---|---|---|
2 | 24 | |
811 | 3,152 | |
2.6% | - | |
6.6 | 4.9 | |
18 days ago | 2 months ago | |
Swift | PureScript | |
GNU General Public License v3.0 or later | MIT License |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
SoulverCore
-
Build your own agents which are controlled by LLMs
I did similar experiments with GPT4 and Soulver[1], though I "tuned" it by teaching it Soulver interactively before continuing to prompt. It can then be used in the same way. My primary goal was to add basic calculation capabilities to GPT, that are: a) guaranteed to halt (all Soulver sheets are functions) and b) readable by both GPT and the user (a Python program may be too dev-oriented for normal people).
It worked quite well. To well almost: I started a meta-conversation where I asked another GPT4 instance to come up with conversations SoulverGPT could have with a user where the addition of solving is beneficial. This worked, and eventually even found a bug in Soulver - essentially fuzzing the language.
[1] https://github.com/soulverteam/SoulverCore
- Show HN: I made a web-based notepad with a built in unit calculator
insect
-
Show HN: Numbat – A programming language with physical dimensions as types
Apparently this replaces https://github.com/sharkdp/insect
- Insect – high precision scientific calculator with support for physical units
- The Icculus Microgrant is giving out 250 dollar grants to open source projects, please brag about your project(s) in this thread so I can see them!
-
What projects do you wish there was a self hosted version of
You might like https://insect.sh/ ;)
- Show HN: I made a web-based notepad with a built in unit calculator
-
ka: a calculator language for the command line
For the record I use insect.
-
Looking to build a plugin for logseq. Your problems needed!
https://github.com/sharkdp/insect seems to be somewhat similar, but it's mostly for physical units. However, it's the only opensource one that is embeddable.
-
Ask HN: Do you use a physical calculator in your day job, and why?
Insect: https://github.com/sharkdp/insect
It is a bit slow but has decent features, including some physical units support.
I set up Tilda (or another Guake equivalent; I tried a bunch of them and can’t remember on which I settled in the end) to run it automatically when a terminal is opened, when pressing Scroll Lock. It’s quite neat: when I need to do a quick calculation, I just hit Scroll Lock, which spawns a drop down terminal with the focus; then type whatever I want to calculate; then control-D to dismiss the drop down terminal and I am back in whatever I was doing without moving either hand off the keyboard.
I do more or less the same thing on my Mac with Alfred.
-
Kagi Search – Public Beta
I'm in the same boat and will pay for Kagi, though I have a different interaction with a search engine and thought you might like the counterpoint. Notably, I don't use Google for most of what you described:
Translation: I use DeepL instead (google is doing poorly on Asian languages)
Conversion: not having much need for imperial but I use this for all unit conversion (though usually directly in my terminal): https://insect.sh/
Wikipedia: if I type Wikipedia+something my browser automatically use the wiki engine (chrome can do that too)
Word definition: on OSX I long press on the trackpad and the definition pops up (across languages, translation too for single words)
Lyrics: Spotify show them now! (admittedly that's a recent feature)
-
anyone know a calculator that can count to unreasonably high numbers? I'm talking x*10^1000 and stuff??
insect.sh goes up to about 109 × 1015.
What are some alternatives?
CalcPad - A different take on the caculator
kalk - Scientific calculator with math syntax that supports user-defined variables and functions, complex numbers, and estimation of derivatives and integrals
notecalc3 - NoteCalc is a handy calculator trying to bring the advantages of Soulver to the web.
TRex - Copy any text on your screen, stop retyping.
recomputer - A smart calculator web app
uom - Units of measurement -- type-safe zero-cost dimensional analysis
redbean-calcpad - CalcPad served with redbean
Copyfish - Copy, paste and translate text from images, videos and PDFs with this free Chrome extension
Joplin - Joplin - the secure note taking and to-do app with synchronisation capabilities for Windows, macOS, Linux, Android and iOS.
macOCR - Get any text on your screen into your clipboard.
mathjs - An extensive math library for JavaScript and Node.js
calc - C-style arbitrary precision calculator