Hacker Newsnew | past | comments | ask | show | jobs | submit | pumanoir's commentslogin

For office I'd recommend Softmaker's FreeOffice or Pro 2024. They've worked great in my linux and macs


Where can i learn to do this kind of things? Any book(s) that'd teach this kind of stuff?


I don't know specifically what skills you're interested in, but this is all pretty much networking fundamentals.

I think I learned most of what I'd need to do this in 'TCP/IP Illustrated: Volume 1'.

There's plenty of "network penetration testing" type books which might also be of interest, though I don't have a specific recommendation here.

There's a wider set of books at https://github.com/jacobian/infosec-engineering that's pretty good too, though it's a wider set of things than this.


Excellent, thanks! Just took a look at "TCP/IP Illustrated: Volume 1" and was exactly what I was looking for. Any book along those lines that is compressed/water down (just to get started over a weekend)?


How would i use numpy from javascript using this?


Using Wasmer-JS that should be doable. We just need to release a new version!


thanks. it'd be great to have a quick tutorial on doing so. this is close to my dream of creating Frankenstein apps with the web platform instead of graal :)

https://www.graalvm.org/latest/reference-manual/polyglot-pro...


If we want to stay in the older license? Do we just do `npm i tldraw@3` and work from there?


You can stay on 3.x. The license on 3.x shows a watermark and a license key will hide it. New commercial licenses will still work for 3.x too, in case you’re unable to upgrade, though 4.x has only a few small breaking changes.


Why is Anthropic hiring developers? Amodei said that AI will be generating all the code by the end of the year.


Someone's got to tell Claude what to write


Maybe they aren't, they could just be hosting these interviews as a fresh source of data for Claude to slurp up! ... sorry, I shouldn't be stirring up conspiracy theories this late on a Friday.


(Honest question) Can you share how to use Dutch-US treaty to basically hire oneself?


Official source: https://ind.nl/en/residence-permits/work/residence-permit-se...

I'm not privileged enough to have first-handle experience and have the normal knowledge worker visa, but I worked with a dude, who had this setup.


The scammers in question use stolen US citizens' identities. Same thing happens in Europe to a lesser degree.


I've had great success to convert math pics to latex using qwen2-vl


which books will teach how to build your own computer algebra system? (I've only heard PAIP does)


I feel building your own is probably not the best way to benefit from a CAS, unless you are doing it for fun! But I had this question too in the past and found some resources, including the fact that SymPy is a good project to learn from.

—-

https://www.sympy.org/en/index.html

https://www.google.com/books/edition/Computer_Algebra/rOU3EA...

http://sarabander.github.io/sicp/html/2_002e3.xhtml#g_t2_002...


I skimmed (ctrl-f) the paper and didn't see a comparison against gpt-4. Anybody knows how they'd compare?


Not directly, but COPRA which they compare to (and show about 3% more theorems proved than) is based on GPT-4 using an agent framework. And in the COPRA paper, they compare to using GPT-4 directly as a one-shot, and find it can only get 10% of theorems in miniF2F, as opposed to 23% with their agent based approach. So if the eval line up correctly, we would see GPT-4 one-shot proving 10.6% of theorems in miniF2F, as opposed to Llemma-7b proving 26.23%, a pretty significant improvement. Still not as good as other specialized tools though, especially when you look at tools in other theorem proving languages (see my other comment for more detail about a cross-language comparison).


Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: