Hacker News
POPL Paper–Formalising Graphs with Coinduction
Article URL: https://doisinkidney.com/posts/2024-11-08-formalising-graphs-coinduction.html
Comments URL: https://news.ycombinator.com/item?id=42166240
Points: 1
# Comments: 0
What is known about G. A. Croes?
Article URL: https://mathoverflow.net/questions/482646/what-is-known-about-g-a-croes
Comments URL: https://news.ycombinator.com/item?id=42166237
Points: 1
# Comments: 0
Ask HN: Combine or separate acquired companies on CV?
A while ago I worked for a small company (no name boutique consultancy with a few high-profile clients) that was acquired by a large company (one of the big internationally known tech consulting firms).
I stayed less than a year post-acquisition, and during that time my day-to-day job did not meaningfully change. I'm wondering whether it would be better to combine these entries on my resume so that it reads like a longer stint at a more recognized company, or if I should keep them separate and try to highlight my experience from when it was still a smaller specialized consultancy (which tends to have a better reputation than big consultancies).
Comments URL: https://news.ycombinator.com/item?id=42166219
Points: 1
# Comments: 0
29 Mac/iOS app devs donating their proceeds to charity this weekend
Article URL: https://indiecharityweekend.com/
Comments URL: https://news.ycombinator.com/item?id=42166212
Points: 1
# Comments: 0
Improving My Iris Keyboard
Article URL: https://tech.based.science/p/improving-my-iris-keyboard
Comments URL: https://news.ycombinator.com/item?id=42166193
Points: 1
# Comments: 0
REORE – A 64kb WebGL Demo
Article URL: https://ukonpower.github.io/reore/reore.html
Comments URL: https://news.ycombinator.com/item?id=42166125
Points: 1
# Comments: 0
'In cities, trees are treated like street furniture'
From a Small Homelab to Running My Own Private Cloud Business
Article URL: https://old.reddit.com/r/homelab/comments/1gtaxph/from_a_small_homelab_to_running_my_own_private/
Comments URL: https://news.ycombinator.com/item?id=42166106
Points: 1
# Comments: 0
Mirror: An LLM-powered programming-by-example programming language
Article URL: https://austinhenley.com/blog/mirrorlang.html
Comments URL: https://news.ycombinator.com/item?id=42166096
Points: 2
# Comments: 0
Biden Allows Ukraine to Strike Russia with Long-Range U.S. Missiles
Article URL: https://www.nytimes.com/2024/11/17/us/politics/biden-ukraine-russia-atacms-missiles.html
Comments URL: https://news.ycombinator.com/item?id=42166095
Points: 5
# Comments: 0
Ask HN: Do you still use Google Analytics? If not what do you use?
While I'm sure many of you run your own telemetry inside of your apps, I'm wondering what everyone uses as their set it and forget it, easy to roll analytics solutions for new apps, blogs etc.
Comments URL: https://news.ycombinator.com/item?id=42166087
Points: 1
# Comments: 1
OpenWrt: Major Change Notice: New Package Manager
Article URL: https://forum.openwrt.org/t/major-change-notice-new-package-manager/215682
Comments URL: https://news.ycombinator.com/item?id=42166085
Points: 1
# Comments: 1
The Dark History of the Treadmill
Article URL: https://www.bbc.co.uk/programmes/articles/4w8bVrKRqQDP4fKl0b8XzdW/the-dark-history-of-the-treadmill
Comments URL: https://news.ycombinator.com/item?id=42166081
Points: 1
# Comments: 0
Observation of the GOODS-S field by the JWST, using the NIRCam instrument
Article URL: https://www.flickr.com/photos/197464132@N05/54143575252
Comments URL: https://news.ycombinator.com/item?id=42166036
Points: 1
# Comments: 0
Humans have caused 1.5 °C of long-term global warming according to new estimates
Are Hardware Manufacturers Trying to Lock Down Consumer Hardware?
Article URL: https://www.scottrlarson.com/updates/update-hardware-manufactures-consumer-hardware-lockdown/
Comments URL: https://news.ycombinator.com/item?id=42166005
Points: 1
# Comments: 0
Show HN: Nedoto – A remote config tool for developers and small startups
Hello everyone,
I have created a tool that in my experience is useful for developers and small businesses.
Nedoto allows you to configure your projects in one place and retrieve the configuration via API.
There is also a feature that you can find in enterprise products like Firebase for example, that allows you to send real-time data to all your connected clients (for ex. smartphone apps or websites) - think of sending a notification or enabling a feature flag in real-time. The use cases are endless IMHO! :)
It would be great to get your honest feedback! Thank you very much!
Comments URL: https://news.ycombinator.com/item?id=42166003
Points: 1
# Comments: 0
Can Math Save Your Soul?
Article URL: https://mathenchant.wordpress.com/2024/11/17/can-math-save-your-soul/
Comments URL: https://news.ycombinator.com/item?id=42165737
Points: 1
# Comments: 0
Cone of Shame Cat Lamp
Article URL: https://www.printables.com/model/1076896-cat-cone-of-shame-lamp
Comments URL: https://news.ycombinator.com/item?id=42165726
Points: 1
# Comments: 0
Japan ranks 92nd in English, internationally
Article URL: https://www3.nhk.or.jp/nhkworld/en/news/20241116_11/
Comments URL: https://news.ycombinator.com/item?id=42165703
Points: 3
# Comments: 0