pooyamo
Like isn't it weird that the 1 million parameter model with the same architecture can't solve basic puzzles but suddenly the 1 trillion parameter can conjure up counter-examples for the Jacobian conjecture?
It's unintuitive since, to the best of my knowledge, one of the basic tenants of algorithm development was that you can't just brute-force your way towards a solution for some complex problems, e.g. naive sorting algorithms suddenly won't beat quicksort if you put more processing to them, but in the modern LLM scene it seems people are in a race to scaling up, experimenting empirically and hoping the same algorithm/architecture comes to a solution.
(defun calculate (instructions)
(let ((result 0))
(dolist (e instructions result)
(destructuring-bind (operator operand) e
(setf result
(case operator
(add (+ result operand))
(multiply (* result operand))
(subtract (- result operand))))))))
(defun calculate (instructions)
(do ((result 0))
((null instructions) result)
(destructuring-bind (operator operand) (pop instructions)
(setf result
(case operator
(add (+ result operand))
(multiply (* result operand))
(subtract (- result operand)))))))[1]: https://www.gpui.rs
I wonder why they are not trying to fixup something based on their own GUI stacks like Flutter or Compose Multiplatform.
It seems only Zed is truly innovating in this space.
I don't think it can be used as a CLI tool. It's mainly a GUI app. I've tested it in the past and it works fine too.
Unless by "compiled in", some in-lining of the C code into Rust codebase is meant.
[1] https://github.com/emacs-tree-sitter/tree-sitter-langs/relea...
>there are still missing expressions, such as "add up", "a couple", etc.
Googling "pronounce add up" does not show the google short answer box for me. Aside from that, the heuristic method I used may miss some words since it's not quite clear to me how the naming scheme works in that static stash. The 2024 stash is more straightforward but as I mentioned in readme, it sounds synthetic to me.
One can use it directly in terminal or it can be used as a dependency tool in other scripts similar to the way other UNIX tools are used. For example I use it as a pronunciation player in my dictionary dict-master [1]. It's a shell script too.
Another example (run two times so it uses the cache the second time):
echo this unix pipeline is poor man text to speech | xargs -n 1 gsay
[1]: https://github.com/pvonmoradi/dict-mastergsay: Fetch pronunciation of English vocabulary from Google
Combobulate: Structured Editing and Navigation in Emacs with Tree-sitter
flyover: CLI tool to show aircraft info flying over a region
Show HN: netq – A script to fetch common network parameters, written in POSIX sh
https://github.com/pvonmoradi/netq
Hi HN,I've written a simple script, mainly to query public IPv4 and IPv6 of a computer. Currently about 14 IP-finder services are supported. It also supports fetching local IP and the corresponding network name (like SSID), which is useful for integrations in status-bars of minimal GNU/Linux-based setups like tiling wm desktops.I've used POSIX sh and tried to fall back to alternative tools if a...