Vale
hn-search
Our great sponsors
Vale | hn-search | |
---|---|---|
64 | 1,619 | |
1,672 | 524 | |
2.5% | 1.5% | |
6.8 | 2.9 | |
about 2 months ago | 6 months ago | |
Scala | TypeScript | |
Apache License 2.0 | GNU General Public License v3.0 or later |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
Vale
-
Vala Programming Language
Not to be confused with Vale[0].
[0] https://vale.dev/
-
Is Something Bugging You?
The article says they created a deterministic hypervisor that runs all pseudorandom behavior from a starting seed to enable perfect re-playability.
But that's all we know so far. I'm assuming there'll be some sort of fuzz testing, and static analysis or some defining actions that your software can perform.
Honestly it sounds a lot like it has a lot of crossover with what the Vale language is trying to solve: https://vale.dev/, but focused on trying to get existing software to that state instead of creating a new language to make new software already be at that state by default.
- Odin Programming Language
-
D Programming Language
Why go through all the trouble when you can do this: https://www.hylo-lang.org/ and not spend a second thinking of lifetimes? No, copies will not be issued unless necessary.
Or why not keep exploring this idea as well? More research-oriented than the first one right now, though, so take it with a grain of salt: https://vale.dev/
- The Vale Programming Language
-
Flawless – Durable execution engine for Rust
Another relevant language might be Vale (https://vale.dev), which is aiming for "perfect replayability": https://verdagon.dev/blog/perfect-replayability-prototyped
-
Two Stories for "What Is CHERI?"
Interesting. Very low level though and C(++) centric. She there any thoughts on combining the hardware and OS features with rust or https://vale.dev ?
- Berry is a ultra-lightweight dynamically typed embedded scripting language
-
I've heard that "Rust's borrow checker is necessary to ensure memory safety without a GC" usually also implying it's the only way, but I've done the same without the borrow checker. Am I just clueless/confused?
Use a runtime memory management solution that's cheaper than garbage collection (see Vale)
-
Vale.sh – A Linter for Prose
This seems like a tool I'll be using, and this is an almost meaningless criticism, but why the name?
There's already the Vale programming language (https://vale.dev/), but moreover, I don't get the meaning of "vale". You could call it something like Englint which actually hints its purpose.
hn-search
-
Gary Killdall, creator of CP/M, wrote Pixar's original 3D renderer [pdf]
The submitted title was "Gary Killdall, creator of CP/M, wrote Pixar's original 3D renderer".
Submitters: If you want to say what you think is important about an article, that's fine, but do it by adding a comment to the thread. Then your view will be on a level playing field with everyone else's: https://hn.algolia.com/?dateRange=all&page=0&prefix=false&so...
(From https://news.ycombinator.com/newsguidelines.html: "Please use the original title, unless it is misleading or linkbait; don't editorialize.")
-
Nearsightedness is at epidemic levels – and the problem begins in childhood
Vision therapy for myopia helps some people, but not everyone, likely due to genetic and neuroplasticity differences, https://hn.algolia.com/?dateRange=all&page=0&prefix=false&qu.... Nevertheless, many of the principles are useful for children whose eyes and brains are still developing.
-
Tesla driver arrested for homicide after running over motorcyclist on Autopilot
I'm a huge Tesla skeptic, but Tesla and Musk are lightning rods for tabloid-style garbage that doesn't belong on HN, so it doesn't surprise me that we often see negative Tesla content flagged to death. Meanwhile we also see plenty of content that hits the front page and stays there [0].
Do you have examples of professional, interesting Tesla content that got flagged?
[0] More than half of the past year's most popular Tesla articles were negative: https://hn.algolia.com/?dateRange=pastYear&page=0&prefix=tru...
-
The Man Who Killed Google Search
It's April 23rd, 2024, and I am still looking for a good, reliable, honest and simple search engine.
All I want to do is search.
No AI.
No ads.
No shopping.
Please don't "Answer my question." I enjoy doing my own original research, thanks.
I'm entirely willing - wanting even - to pay for it.
Currently Kagi has my $, but I'm saddened and frustrated that they're not even focused on Search, they're focused on AI[1] and t-shirts.
Amazingly, in 2024, there is still a market opportunity for a good search engine.
It can't really just be me, can it?
[1]: https://hn.algolia.com/?query=%22kagi%22+%22ai%22
-
Ask HN: Is Hacker News under attack from spam bots?
https://hn.algolia.com/?dateRange=all&page=0&prefix=true&que...
For historical purposes
-
Tesla Recalls All Cybertrucks for Faulty Accelerator Pedals
Most likely because there have been oodles of low-quality stories on these topics. We turned the flags off on this one since it maybe rises above the noise (see https://hn.algolia.com/?dateRange=all&page=0&prefix=false&so... for past explanations on how we approach that).
-
Show HN: What Are You Working On?
Hey HN,
I'm sure you've seen the monthly "Ask HN: What Are You Working On?" headlines on [Hacker News](https://hn.algolia.com/?dateRange=all&page=0&prefix=true&que...).
Honestly, it's my favorite topic because it's packed with insights about what other hackers are up to.
I wondered what it would be like if instead of just a headline, there was a whole website where hackers could post daily updates, and where we could follow the hackers we're interested in for their latest updates. And so, this web site was born.
I hope it gets used frequently so we can all benefit from it together. I look forward to hearing your thoughts.
Let me know what you think!
-
Not Apply to YC
I don't know what one thing you're referring to, but it's a core principle of HN to try to avoid repetition, and especially the repetition+indignation combo, which is the commonest and most tedious thing on the internet.
https://hn.algolia.com/?dateRange=all&page=0&prefix=false&so...
-
Nand to Tetris: Building a Modern Computer System from First Principles
Happy 10,000 day to you
https://news.ycombinator.com/from?site=nand2tetris.org
https://hn.algolia.com/?dateRange=all&page=0&prefix=true&que...
https://hn.algolia.com/?dateRange=all&page=0&prefix=true&que...
-
Moxie: I'm no longer involved at Signal
not sure. I searched comments: https://hn.algolia.com/?dateRange=pastYear&page=0&prefix=fal...
Most recent are more culture wars stuff but some earlier ones appear to suggesting a degree of alignment with the USA government.
What are some alternatives?
v - Simple, fast, safe, compiled language for developing maintainable software. Compiles itself in <1s with zero library dependencies. Supports automatic C => V translation. https://vlang.io
duckduckgo-locales - Translation files for <a href="https://duckduckgo.com"> </a>
Odin - Odin Programming Language
Beef - Beef Programming Language
parser - 📜 Extract meaningful content from the chaos of a web page
awesome-low-level-programming-languages - A curated list of low level programming languages (i.e. suitable for OS and game programming)
readability - A standalone version of the readability lib
carbon-lang - Carbon Language's main repository: documents, design, implementation, and related tools. (NOTE: Carbon Language is experimental; see README)
yq - Command-line YAML, XML, TOML processor - jq wrapper for YAML/XML/TOML documents
awesome-programming-languages - The list of an awesome programming languages that you might be interested in
milkdown - 🍼 Plugin driven WYSIWYG markdown editor framework.