Philpax

32 ms·

511.
by Philpax 1y ago
I do the same, but I find looking at my laptop to be quite distracting; I mentally "lock in" to my laptop, which defeats the purpose, and also ends up being ergonomically challenging much of the time. I'd like to use AR glass
512.
by Philpax 1y ago
It's not too difficult to actually assemble - you just need some displays, a display driver, and the optics - but getting optics fabricated to meet your requirements might be challenging.
513.
by Philpax 1y ago
The microdisplays are usually fixed in place (and sometimes the display and optics are a single package), so it would likely be a bespoke solution.
514.
by Philpax 1y ago
It's a theoretical result to help determine what they're capable of, not a practical solution. Of course you can write the code yourself - but that's not the point!
515.
by Philpax 1y ago
There seems to be some bad blood between ikawrakow and ggerganov: https://github.com/ikawrakow/ik_llama.cpp/discussions/316
516.
The Utter Flimsiness of xAI's Processes(smol.news)
1 points by Philpax 1y ago|0 comments
517.
Vibe Check: Codex – OpenAI's New Coding Agent(every.to)
5 points by Philpax 1y ago|1 comments
518.
by Philpax 1y ago
Yes. Scroll through his recent feed: https://xcancel.com/elonmusk (Man, I'd blocked him years ago. I hadn't realised how bad it'd gotten.)
519.
by Philpax 1y ago
Because as long as they don't name them, there's still a chance they'll pay up or self-host. As soon as they do name them, any chance of a meaningful business relationship will disappear.
520.
by Philpax 1y ago
> There's a reason Lua has a smaller audience than assembly. I don't think that's true. It's a very embedded language. Its use in video games and video game modding alone would outnumber the number of people directl
521.
by Philpax 1y ago
Happy ten-year anniversary to the only systems programming language I actually enjoy! Here's to many more years :)
522.
by Philpax 1y ago
Very nice, but it is confusing to name a library for using a language the same thing as that language. I suppose this is meant to be a temporary state of affairs while Lua (the library) gets merged into Luerl, but I would have personally ca
523.
by Philpax 1y ago
That's certainly more helpful, yeah! My biggest complaint is that that's really not particularly obvious from the home page; I didn't realise the highlighted words in the lead were links, and they're all to a diverse set
524.
by Philpax 1y ago
What?
525.
by Philpax 1y ago
I feel as though this website does a poor job of telling me what the framework actually does . There's the mostly-fluffy marketing lead text, followed by an overly-complicated configurator to generate a project. What can I actually do
526.
by Philpax 1y ago
Congrats to HN on colonising the website!
527.
by Philpax 1y ago
While I agree with you to some extent - working with a higher-level language where you _don't_ have that kind of visibility is its own kind of liberating - Odin is very specifically not that kind of language, and is designed for people
528.
Formalizing a proof in Lean using GitHub Copilot and canonical [video](youtube.com)
1 points by Philpax 1y ago|0 comments
529.
by Philpax 1y ago
I believe GitLab post-dates GitHub, but I otherwise agree with the sentiment.
530.
by Philpax 1y ago
I can say that I've chosen not to bother when submitting a fix requires me to stray away from GitHub, and doubly so when it doesn't use a PR/MR workflow. There are only so many hours in the day, and I don't have the pati
531.
by Philpax 1y ago
This is inherited from the websites [0][1][2][3] it was inspired by. [0]: https://motherfuckingwebsite.com/ [1]: http://bettermotherfuckingwebsite.com/ [2]: https://evenbettermotherfucking.websit
532.
by Philpax 1y ago
If you're curious why people keep wanting to reinvent HDLs, these posts by Dan Luu might be useful: - https://danluu.com/why-hardware-development-is-hard/ - https://danluu.com/pl-troll/
533.
by Philpax 1y ago
That sounds like it'll lead to human-driven reward hacking [0]? [0]: https://en.wikipedia.org/wiki/Reward_hacking
534.
by Philpax 1y ago
Their point is that the name and logo are clearly drawing from the Metamorphosis of Prime Intellect, with all the potential baggage that comes with it. It's an interesting choice.
535.
Intellect-2 Release: The First 32B Model Trained Through Globally Distributed RL(primeintellect.ai)
201 points by Philpax 1y ago|65 comments
536.
by Philpax 1y ago
How many people do you think Elon Musk has indirectly killed as a result of his actions, especially through his work with DOGE? I would not make such a threat myself, but I can certainly see why one would be inspired to.
537.
by Philpax 1y ago
I'd go as far as to say that Sega's embracing of their fans is a big part of why they're still around: https://en.wikipedia.org/wiki/Sonic_Mania#Development
538.
by Philpax 1y ago
I think that's a bit optimistic; that's the path every VC-funded tooling company tries to take, and it often doesn't end well; restrictive licenses, hostile forks, early deaths, etc. You need to have some kind of plan ahead
539.
by Philpax 1y ago
A type checker is much more algorithmically bound / difficult to parallelise, but I'm sure there are still wins to be had in the future.
540.
by Philpax 1y ago
Is it really that hard to believe that people like the language and the problems it solves for them?

More ›