skysight-inc/HackerNews huggingface dataset:
Show HN: Oneil, design specification language for rapid system modeling
Hi all! I've been doing spacecraft system engineering since grad school and got to keep doing it after school at Care Weather. I tried several approaches for keeping hundreds of napkin math equations and connected simulations up-to-date, but none of them were both reliable and easy to use. To solve that, I made Oneil, a design specification language with clean syntax for specifying and evaluating math describing a complex system. Oneil has been really helpful as we design one satellite iteration after another for ground testing and spaceflight.

I'm really interested in hearing feedback and whether anyone finds this useful. If you know of other tools that do the same things, please let me know as well, since I haven't been able to find any.
But will you pay for it? Appreciation isn't very valuable.
https://dvd.js.org/?names=han,luke,leia,chewy

Stupid app i made to (colloquially) roll the dice using the dvd screen
Right. Everything can be reduced to a simple problem if you ignore enough important details.
No doubt there are some feminists that focus on trivial things, and who get a lot of negative air time especially on TV shows that like to send up progressive ideas.

That said I think patriarchal gender norms are still an issue. It doesn't mean that all women suffer more than all men. But there are social expectations stemming from gender roles where men are perceived as leaders and providers, and women are seen as carers and sex objects. And men and women both suffer as a result. I suspect sexual assault against women is so prevalent precisely because of those patriarchal gender norms. Men are often not guided in how to process difficult emotions, and are conditioned to see sexual conquest as something that makes them powerful. On top of which, pornography consistenly associates sex with a certain level of violence and male dominance. The result is such an explosive cocktail of messages that it's almost predictable that sexual assault and domestic violence is an outcome.
More realistically, email it to your work email and print it there tomorrow.
Which is why standalone digital clocks generally still use them instead of LCDs, and why I'd like to build a 7-segment clock at some point. That condition-agnostic readability is hard to beat.
> Why does the Autobahn still not have speed limits on large parts of the road and why does this not cause massive problems?

That's a bit like asking "Why are guns freely available in the US and why does this not cause massive problems?"

Not having speed limits on the Autobahn does cause problems. Accident numbers are fine because of good road design and good driver education, but every study says that introducing a speed limit would make the situation even better. But people like their freedoms, and powerful lobbies are against the limit.
You know, that's an interesting question. "Newspeak" in 1984 describes two phenomena welded together: that language influences thought (Sapir-Worf), and that government has levers to influence language (which in the book look quite parochial compared to the modern information age). This casts language itself as a political battleground. Supposing we accept this perspective. Then surely it is imperative that we examine the language that we use very critically? Should we not fear the hidden mind-traps in Oldspeak as much as Newspeak? Might we already be unknowing slaves to some politically expedient worldview?
This seems like a very useful tool!

I would have liked to see more fleshed-out examples linked from the homepage, but digging around a bit on Hacker News found this example shared from 9 years ago (!):

https://umap.openstreetmap.fr/en/map/arriving-in-berlin-a-ma...

HN Discussion from Oct 26, 2015 (95 comments): https://news.ycombinator.com/item?id=10452811

Some of the images appear to be broken, but overall the map and its associated metadata is still intact. Very impressive, and cool to see!
Fortunately, YouTube Revanced still works fine.
Yes, some events are different, like the Super Bowl for instance, where everyone is screened, and a simple concert, where you just need a ticket that scans.
One could say it's similar to the reasons for banning TikTok (concerns about state control of software), but in general, it's an expanding of existing trade sanctions against Russia.
You can run multi-file source-code programs as of JDK 22: https://openjdk.org/jeps/458
> This is explicitly expounded upon in the original

Yes, it is, but you can have functions that output other functions, and the question of computability applies to those functions as well. Sure, the constant functions are trivially computable; but one can also ask about a function that outputs one or the other of those constant functions depending on whether God exists, or whether the halting problem is solvable, or whether the Riemann hypothesis is true, etc., etc., etc. And in a post that is supposed to be about computability, saying "Gotcha! Misconception!" when people start talking about those kinds of functions instead of the trivially computable constant functions explicitly mentioned in the question does not seem to me to be a good strategy. As I posted in response to Aaronson in the comments there, before concluding from someone's answer that they have a misconception about computability, you should first make sure they don't just have a simpler misconception about what question you were asking.
So the solution to a lane ending unexpectedly is to speed up? One would imagine that slowing down or even stopping would be the correct solution there.
These charts remind me of astrologers' natal charts.
... In mice.. And human! cells.

From the paper:

• Multi-omic analysis of maturation and aging across >45 mouse and human cell types

• Common transcription factor pattern for chromatin remodeling in maturation and aging

• Encoded via relative abundance of AP-1, CTCF, and cell identity factor binding sites

• Remodeling mechanism activated by AP-1, stress, systemic factor, or PRC2 inhibition
> hopefully this saves many lives.

That's very unlikely. More than half of roadway fatalities in the USA involve drugs or alcohol. You'd have much better luck putting a brethalyzer ignition interlock on all vehicles.

One minute of thinking should make it obvious how easily that would be defeated as well.
Couldn’t you just ask „what are you curious to learn?“ directly, instead of beating around the bush with awkward questions like „what would you rate yourself?“ that people have to „game“? It’s just another way of asking „what’s your biggest weakness?“ with the obligatory „my perfectionism“ response. I just skip the fluff and communicate openly.
And this is why we should all boycott Chromium based browsers.

It's turning (and mostly has already turned) into the new Internet Explorer.

Use Safari or Firefox, or any other browser that's not based on Chromium.
I love Linux, but it would not exist without corporate sponsors. It's a wonderful project and it continues to stay relatively pure due to the GPL, but there's really no possibility a social media platform (or the internet at-large) could adopt a similar strategy. Hosting is expensive, speech is fickle, and people's willingness to adopt fringe alternatives is at an all-time low. And without it's Benevolent Dictator For Life, there's frankly no guarantee that Linux wouldn't become a corporate-driven project. Blind authoritarianism is ironically one of it's strongest defenses.

The decentralized internet, the blockchain, the darkweb and I2P all need someone to pay for hosting costs. If you don't get a corporation in your pocket early and fast, then you won't be able to scale your website reliably. It's a common constraint across most networked platforms.
Universal in terms of people being able to access it for free, not that they can access it in any way they'd want to. You might disagree which how they used the word but that's what they mean.
https://developers.google.com/speed/public-dns/docs/security... as a security measure.
People drive between countries.
I don't see the point in arguing in bad faith. Bikes are allowed on cycle paths or even the same path as pedestrians for long stretches. It's not the same. Obviously.
> “By pinpointing AP-1 as a master controller linked to aging across cell types, we can now study the effects of drugs that reduce its activity to extend quality of life,” he said [2]. Targeting AP-1 and its associated pathways could lead to interventions that slow down or even prevent the onset of these diseases, marking a significant advancement in geriatric medicine.

Unfortunately, AP-1 is also involved in cancer.

From https://www.ncbi.nlm.nih.gov/pmc/articles/PMC10361657/

> Activator protein-1 (AP-1) is a transcription factor that consists of a diverse group of members including Jun, Fos, Maf, and ATF. AP-1 involves a number of processes such as proliferation, migration, and invasion in cells. Dysfunctional AP-1 activity is associated with cancer initiation, development, invasion, migration and drug resistance.

Mentioning AP-1 without mentioning its role in cancer is misleading. Many of the mechanisms that are involved with aging, likely have a role with controlling cancer by keeping cells, especially cells with damage, from proliferating or invading nearby or distant tissue.
Falu Red
I know. Except that V1 by definition cannot be higher than Vr. You can't decide to abort (which you have to do for an engine failure below V1) after you've started rotation. Same for V2, it cannot be lower than V1 or Vr. So if that would theoretically be the case, you get a lower V1.

But that's all in the high speed regime. What I was commenting is that from the radio calls you can deduce that this bird did not go through the engine as claimed. They just hit the bird.
No, you read it right the first time.

It's a misleading PR move pretending to move back to "hand-made" items with loopholes big enough to drive a planet through.
Trying to be generous, the only reason I can think for why customers would be worse off is that Google is literally the only one who can be trusted with this kind of power. Not Zoom, not Microsoft, not the user whose data is being transmitted, etc.

But even that does not explain why the existence of the API was not disclosed. Do you agree that that looks bad for them?

Then there is the fact that Google is far from being a company people trust. They should be rushing to be transparent about their decision, if there is a good, persuasive reason for it. They could use the good press. Instead, they made a secret API that can read privileged system information, locked it so that nobody else could use it, and then never told anybody about it—all while claiming to be secure, and privacy-focused, and definitely not abusing their browser monopoly.
Yes, the connectivity should still work, but it might be limited depending on the model and the network you're trying to connect to. Some older Kindle models may have issues with newer Wi-Fi standards. It's worth giving it a try, though! You might also want to check if there are any firmware updates available for your device.
It appears we live in a universe where embedded systems aren't assumed to be a mission critical device by default.

I'm not going to bother using a microcontroller to solve a problem if isn't a use case where the solution needs to be as simple and robust as possible.
This is a big reason I despise the fact that so many ISP's just bundle routers into their modems.

At least with Comcast it seems like they have the ability to modify and (I assume) see this stuff in plain text. Who thought that was acceptable from a security standpoint I will never understand.
Honest Government Ad [video]
Isn't yt-dlp breaking and getting fixed again a pretty regular thing? What's special about this one?
Hopefully in the near future (https://nfc-forum.org/news/2024-07-nfc-forum-defines-next-ge...) you would just need to tap you phone once, and get your ID passed to the scanner, along all the tickets for that venue & time.

No more opening app, and showing different tickets and IDs.

That would clear that argument.
And what state is that? I do know that some states are over zealous about this but two vehicles driving next to each other slowing gaining on another to overtake is also creating a dangerous road situation. This is taught when you take your written test in CA. Trucks don’t really have a choice which is why it’s normal for them to do so even on a two lane highway.
So if every car is following the speed limit, that is going as fast as they are allowed, why would any one person be passing someone else?
One possible future includes one or more of:

- AI guns that won't shoot at other people, only authorized in-season animals.

- AI keyboards that won't let you type "hate speech"

- AI browsers that only let you visit approved, legal sites.

- AI smartphones that contact the police if you are breaking curfew, trespassing, recording unauthorized (copyrighted) public or audio, etc.
In my particular state things tend to be a lot more nuanced. E.g. at the surrounding highway of a major city the typical traffic speed will be 10-15 over the posted and it's 20-25 that gets people pulled over. Go about an hour out from that city and you may be on a stretch of highway where going 5 over is a ticket. Very rarely is anywhere going e.g. 2 mph going to get you pulled over but it does happen some places. We do have turn on red though!

Regardless of where I've travelled in the US I've yet to see someone get pulled over for travelling in the passing lane (though I know it to obviously be a thing just not lucky enough to witness it). I thought for sure I was finally going to see it in Texas with this person doing 10 under in the left lane but the trooper just passed on by to their right.
It's generally anti-competitive behavior, your personal experience with it has no bearing?
Show HN: Implement a simple MapReduce on your own
What Estonian drone companies are learning from Ukraine
In the U. S. state of Washington, it is legal to exceed the speed limit when passing (might be restricted to two-lane roads, but the point stands).
Well I don't think OP persuaded the AI start-up to pivot to laundry services. The start-up is going after the low hanging fruit, things easy to do, and no one likes to be thought of as easily replaceable least of all artists.
Google Voice still supports texting from their web page, but the feature to text directly from Gmail was discontinued a few years ago. It was a convenient feature, but now you have to use the Google Voice app or web page for texting.
While this display is really slick, it seems like it is still not available under multiple suppliers? If thats the case. that means its going to be more pricey than other options. I cant seem to find many cheap options on alibaba/aliexpress.
https://www.sciencedirect.com/science/article/pii/S155041312...
State legislatures delegate rulemaking to state agencies as well. It's how every functional institution works.
Same, still able to download videos with the yt-dlp cli but NewPipe isn't playing videos
That's utterly insane.

It makes me feel happy about my longstanding habit of not using routers supplied by ISPs, though.
Type Safe, K-Sortable Unique IDs for JavaScript
Well 5mph isn't really speeding; as far I know they set the speed limits 5mph lower than they really are (e.g: 55mph means 60mph).

But trust me, the imaginary police are very much not imaginary. I got a couple speeding tickets before I decided I wasn't going to deal with the courts ever again. Now, I do the speed limit. I see cops everywhere on the highways in my state and they definitely will pull you over going 10-ish over. Until recently, anything over 80mph (even if the highway was posted 70mph) was reckless driving (now It's 85 I think)
Awesome! I am impressed you dug that deep into the code.
Ironically this “death” and “bad leadership” produced the only thing that keeps Microsoft alive today: Azure. It exists only because Gates and Ballmer had the foresight to fund it.
Is this a hit piece by a high-definition display manufacturer? It seems like an unnecessary litany of detractors against one technology without a lot of alternative solutions or trade-offs with others. At the end, there are only 3 sentences that could be called alternatives with the heading "use high resolution displays". Making a "helpful" paper that only lists problems without comparisons or solutions misses all the reasons one would use a 7-segment display (mentioned in the comments here so I won't repeat). There's nothing wrong with this technology. The title "don't use" is too inclusive and is not supported by the paper. I think "Consider not using in certain applications" would have been more appropriate based on the paper's body.
It is resolved by updating yt-dlp [0]. More generally, for those who lament that the end is nigh, I don't think YouTube can actually do anything about such tools as long as they are serving video in one format or another. DRM is always broken, given enough time.

[0] https://github.com/yt-dlp/yt-dlp/issues/10397
If we can’t even reliably know what the speed limit is, how can we even be close to self driving cars?

Not only is it a way simpler problem, but it’s actually a requirement for self driving also.
most cynical take in history.
That's not what anti-competitive means at all. Having APIs that Google Meet can use but competing products can't reduces competition, which makes customers worse off.
That doesn't make sense in the context of default devices. MacOS's AVKit (or is it CoreAudio?) APIs that configure the streams created on the device makes way more sense, since it's a property of the audio i/o stream and not the devices.
1. ticket master holds the money for 14 days before paying the customer

2. there are a lot of customers

3. therefore ticket master holds lots of customer cash in transit (this is called the "float")

4. cash earns 5% interest so this year they will earn about 5% * avg float
"The objective is to protect Europeans against traffic accidents, poor air quality and climate change, empower them with new mobility solutions that match their changing needs, and defend the competitiveness of European industry,"

Do speed limiters, as proposed, meaningfully contribute to achieving those objectives?
This looks like Keka meets Jira. Pretty Interesting. Do I get to see my previous stats like my Apple Health app where I see my previous run/workout data?
I've been using JDownloader to download and remux youtube video/audio for almost a decade without issues.
>or a speed control function in which the speed of the vehicle will be gradually reduced.

Not suddenly, gradually.
Dot-matrix LED display panels seem bulletproof, but I just checked the catalog for the 5x7 display driver I know and use and it costs $30 per. I guess the people who have reliability and legibility concerns like those expressed in the article aren't worried about spending $15 per digit.
Like ultraviolet? What's the origin of the name?
Upside down 7-segment display in Futurama: https://youtu.be/1Q8E4hls_Zg?si=q5nMASH4PGgvEkHN
Bug is closed without comment, so I guess that means it's over.
Its funny because they could probably satisfy all parties. Why not explore silent ad banners similar to during sports games broadcasts?
Perhaps parent isn’t talking about that scenario. But surely you can imagine a different scenario where this applies, right? Maybe Grandma Jones doing 10 under the limit on a two-lane road?
You don't need AI for the browser thing, stuff is already blocked at the DNS level.
> Even now, you’re trying to force LLMs onto human intelligence

I'm not forcing anything, I'm specifically refuting the claims that we know that LLMs are not how humans work, and that LLMs are not reasoning. We simply don't know either of these, and we definitely have not ruled out statistical completion wholesale.

Also, I don't even know what you mean that LLMs are not giving the same types of results as humans. An articulate human who was hired to write a short essay on given query will produce what looks like ChatGPT output, modulo some quirks that we've forced ChatGPT to produce via reinforcement learning.
You sound like a motoring journalist. Honestly, if you’re exceeding the speed limit to pass you’re unlikely to be gaining much anyway. 99% of the time people should just chill out and accept that driving a car already comes with so many unpaid externalities that not killing other people with your tonne of steel is a reasonable compromise. Speed is the major contributor to mortality and injury on the roads (and in developed countries the leading cause of death in some age groups).

Also, can some describe in detail a scenario where accelerating makes things safer than simply slowing down. Or where the knowledge that a speed limiter would kick in would not already have changed behaviour in a safety enhancing way?
This is for consumer software, but scientific software has actually gradually evolved and gotten faster on a consistent basis (according to bill joy)
Presumably you can bypass the artifact retention limit by uploading them as release artifacts (which are retained forever) rather than job artifacts.

(Not that I’d advocate for this in general, since ultimately you’re duplicating a bunch of data and will eventually catch the eye of some GitHub compliance script.)
But you can’t access them for free, you have to give up your privacy. And if you don’t have a device powerful enough to display YouTube’s bloated website, you can’t access them at all.
SEEKING WORK, REMOTE - WORLDWIDE
Remote: Yes. I have been working remotely with companies for several years, including during the pandemic.

Location: USA (Eastern time zone)

Willing to relocate: No

Technologies: Senior Full-Stack Developer with 12+ years of experience in software development. Proficient in React, Typescript, Node.js, SQL, .NET, and more. Passionate about building great customer experiences and translating good ideas into great products.

Résumé/CV: https://drive.google.com/file/d/17CvC1wTZZ5XhiOU8M0GcBLwTbIa...

Email: blaster151@gmail.com

I am Jeff, a versatile software engineer with extensive experience in creating scalable and robust applications (most recently in the SaaS space). I am open to part-time, full-time, and contract opportunities.
Can our tech calm down?
Try getting Mickey Mouse comics.

That should be fun...
Seems like many suppliers are coalescing on certain sizes/designs of OLEDs at the low end. All I see are these tiny blue/white displays or 1 inch full color. They all look the same and are boring at this point. I was hoping that we would get an explosion of different OLED display sizes and designs.
I agree with you. My partner's car has lane-keeping and active cruise control. I also find lane-keeping to be more exhausting than helpful. On the other hand, active cruise control is wonderful. It keeps me from getting bored because I'm watching traffic and trying to anticipate when the cruise control changes the speed up or down.

I use cruise control whenever possible, even around town. We have some communities where speeding fines are considered city revenue, so I set my cruise control to what the sign says, and I don't worry about losing track and accidentally speeding. Since I have a plug-in hybrid, I can brake faster because I can grab the regenerative braking paddle on the steering wheel faster than I can move my foot to the brake pedal.
Assuming this isn't parody, the OS doesn't have to do it automatically. Having an application grab a microphone stream and say to the OS "take this and cancel any audio out streams" might be pretty useful.
I like your comparison with browsers. In many ways, the only way to know for sure is to test in the desired terminals and figure out what works on all of them.

There's some "new" stuff as well (90's), like SIXEL graphics. I was surprised by how broad the support is (however not that broad to count on it).
All that shows is some surfaces at least 140°F. Which is still effing hot, but there are only three colors in the legend.