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)))))))

Comments URL: https://news.ycombinator.com/item?id=46031101

Points: 2

# Comments: 0

[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

Comments URL: https://news.ycombinator.com/item?id=45566532

Points: 39

# Comments: 12

Comments URL: https://news.ycombinator.com/item?id=45536245

Points: 5

# Comments: 0

Comments URL: https://news.ycombinator.com/item?id=45515828

Points: 2

# Comments: 0

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 dependency is not found so the script would be more portable on different Linux distros. Also, it has basic support for Windows via MSYS2.

Hope it's useful. Let me know of what you think ;)

Comments URL: https://news.ycombinator.com/item?id=45505295

Points: 2

# Comments: 0

If one is able to get a public IPv6 from a public IP finder service, I guess that means his machine is able to access the IPv6 internet.

  netq -6 p 
  netq -4 p

Also, kudos to jfesler for his works on maintaining the website through the years.

[1]: https://github.com/pvonmoradi/netq

Comments URL: https://news.ycombinator.com/item?id=45481162

Points: 2

# Comments: 0

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 minimal GNU/Linux-based setups like tiling wm desktops.

I've used POSIX sh and tried to fall back to alternative tools if a dependency is not found so the script would be more portable on different Linux distros.

Hope it's useful. Let me know of what you think ;)

Comments URL: https://news.ycombinator.com/item?id=45326390

Points: 1

# Comments: 0