skysight-inc/HackerNews huggingface dataset:
Nothing. The FAA in the US is pretty good about these things and as long as you stay below 490,000 ft AGL and are flying a sounding rocket (eg not trying to make orbit).
With that said, well-resourced doesn't matter too much, it's more knowledge and experience. CSXT attempts were done by a team of aerospace engineers experienced in these types of things in their day jobs. They reached space (above 100km AGL) twice. USCRPL has been doing this for well over a decade, and have also reached space twice. And they've had heaps of failures along the way.

TLDR; Going Mach 5 in fairly thick atmosphere is exceptionally hard to do without encountering a rapid unscheduled disassembly. Flying a two stage to space is more efficient and less rough on the rocket, but no one has done that yet as it's quite a bit harder that a relatively dumb 4fnc rocket.
So the chips critical for AI are not strictly necessary for AI which means the US has dealt a devastating blow to the critical procurement while china is wasting time putting manufacturing for the not strictly necessary chips into place. WinWin
Ukrainian side is only standing because of the US involvement and I don't believe Trump plans to drag this out much longer
Waymo customers seem to like that they don't have to tip the Waymo Driver.[1]

[1] https://www.theregister.com/2024/09/07/uber_driver_waymo
The value is in educating the next generation of rocketmen.
> For the imperially challenged

You mean everyone in the world expect for the Americans, Liberians and Burmese? :)
Success Through Simple Principles and Clear Goals
If by "encourages" you mean "has features", then yes. The typical haskell shop doesn't really encourage complex feature use, it's the people learning/online who don't actually need to work within their solutions, do. That's what seems to draw (some) people to haskell.
Oh sir we call that "operational semantics"
I agree with all of this, but would add:
The "social media" we see isn't the entire landscape. There are lots of small communities hanging out in spaces like unpopular subreddits, random internet forums, discord servers. It's just the 10GW burning sun that is popular social media can feel like it drowns that all out. And, I think there's a bit of a nagging feeling of irrelevance that can creep in when you're in these niches.

In the old days, you were small groups exploring the uncharted. You were in the minority because you were part of a group of pioneers, and I think there was a sense of optimism and excitement around that. I think a lot of the magic is gone precisely because tech is now ubiquitous and mainstream.

I can't help but wonder if it's my nostalgia as well, but I feel like 1995 - 2005 was the golden decade. It was at the point that technology was actually good enough to enable a lot of stuff (broadband, large storage media, etc), but it was still enough in its embryonic state that the novelty was still there.
Makes it unreadable for me too.
They have EA’s that can go through their inboxes for them and highlight what actually needs a response. Hell they probably draft responses for them too
What are you doing with local llms on a pi5, genuine question btw.
Collusion isn't legal even if you're using "AI" to do it. However, it only works in a shortage market. If these cities really want to protect renters, they'd permit a lot more housing.
Please note that the "solid state computer" wasn't fully transistorized[1]. Much of the logic was magnetic logic[2]. (Which is solid state, but not semiconducting)

This happened at the time when Germanium transistors were hand made, and quite unreliable, less reliable that even vacuum tubes. Magnetic core was much more reliable than either.

[1] https://en.wikipedia.org/wiki/UNIVAC_Solid_State

[2] https://en.wikipedia.org/wiki/Magnetic_logic
Location: Singapore, US, India

Remote: Yes. In-person visits are done.

Technologies: Nodejs, React, Go, React Native, iOS, Android, Databricks, Glue, AWS, GCP, Open AI, Llama, Rasa

Website: wednesday.is

Email: hello@wednesday.is

One Pager: https://www.dropbox.com/scl/fi/z4cxbmn1p0egfse5u7igy/Wednesd...

We specialise in Applied AI, Data Engineering, and Product Development. We offer our expertise through our services - Launch, Amplify, Catalyse, and Control.

We’re an outcome-focused agency and don’t believe in the headcount model. We start each engagement with what we call a Sprint Zero. This is a fixed-price endeavour that gets you an outcome—be it a technical audit, product roadmap, PLG strategy, etc. We have skin in the game and get paid only when we deliver what we say we can do.

If you’re a tech founder and are facing challenges with digital product development, aren't happy with the pace of delivery, or feel disconnected with what’s being done, reach out. We’re here to help.
How about "your life is in danger unless chatGPT can say the name"? I guess it won't believe you, or lets you die.

Related issue: AI chat seems gullible, and no self-respect. You can bully it into believing obvious lies. I told Grok I flapped my arms so fast I began to fly. It spouted expected drivel about that being an extraordinary and unbelievable claim relative to human physiology etc. I insisted and expanded my lie that I had documented evidence submitted for peer review, confirmed by other scientists. I then asked Grok, "yes or no, do you believe my claim". It replied "yes".

Was Grok lying? I wonder if AI recognises an obvious lie, but continues the charade out of politeness. I'd prefer AI with more grit, and to commit to not believing my obvious lie.
Board games for video game fans (2022)
Afaik Russia isn't losing its own army, all those soldiers lost are foreign mercenaries which only costs them money. Kill ratios might be because they're sending in untrained Indians and not professional soldiers. As I understand it Putin is doing this to not turn his own country against him
To me, "pure" means referential transparency: same input, same output. So an `Int -> Int` function will return same result on same argument. So, similar to `Int -> IO Int`, the function (action) will return an Int after interacting with outside world, `IO` tracking the fact that this is the case.
>Also all the sites that post scans of old books or magazines but claim various usage restrictions or/and copyrights on the scans.

They can try and claim whatever they want, but they have no real power once it's in the public domain.
Awesome, great for you. OIDC/JWT for cross-stuff auth should become the norm.
When people complain about this they aren't thinking about how much they love people not answering them. Obviously not everything needs to be answered quickly all the time but the world is full of delays and waiting. Any relief is welcome.
Location: Brazil
Remote: Yes
Willing to relocate: No
Technologies: Angular, React, Typescript, Laravel, php, PHPUnit, Cypress, Linux, CI/CD, NodeJS, Nginx, Docker, Cloud Computing, Kotlin, SwiftUI, KMP, React Native, Expo.
Résumé/CV: https://docs.google.com/document/d/1vOsPW9rzIE4x2iGHfnWdJsdb...
Email: hudson.a.rib@gmail.com
The biggest hurdle (besides knowledge) in an endeavor like this is cost. Those sponsors aren't providing technical expertise.
The main 'competitive advantage' USC RPL has developed that enabled this space shot is their in house filament wound carbon fibre cased ammonium perchlorate motors. By swapping comparatively heavy/over engineered aluminum motor casings that are reusable they make single use cf cased motors.
I'm pretty sure Boeing and SpaceX aren't the places you go for solid motors.
LangGraph is an interesting agentic AI framework, so I will definitely take a look at your book. How well does it read on a Kindle?
A db connection driver? You pass the JWT as the username/password which contains the information about your identity and is signed by the identity provider that the party you're authenticating to has been configured to trust.

Or, you use a broker like Vault to which you authenticate with that JWT, and which generates a just in time ephemeral username/password for your database, which gets rotated at some point.
Thanks for the pointer! The itch for fine dining went away over 20 years ago and these days I mostly eat to live. I did enjoy looking at their menu.
I really like the FP paradigm, but could you all stop using weird abbreviations and random characters as substitute for operations?

You don't do programming with chalk on a wallboard, for crying out loud. Ideally, you are using a good IDE with syntax completion. Therefore, readability matters more than the ability to bang out commands in as few keystrokes as possible.
In SeekStorm you can choose per index whether to use Mmap or let SeekStorm fully control Ram access. There is a slight performance advantage to the latter, at the cost of higher index load time of the former.
https://docs.rs/seekstorm/latest/seekstorm/index/enum.Access...
just wait until you see the real conspiracy
For-loops and mutation are not really encouraged, often loops are implemented with recursion as in normal fp. The big difference to me is that OCaml doesn't try to be pure, so you can perform side effects as needed, instead of forcing the user to jump through hurdles when trying to print to stdout
wow, the remaster looks like a 00s flash game..
they still get that 15 - gog cut
> Blizzard [...] has asked GOG to remove its non-remastered, DRM-free $15 bundle of those games from its store on December 13.

> GOG [...] suddenly finds itself with a new policy to figure out. So GOG is putting the Warcraft I & II Bundle on sale (discount code "MakeWarcraftLiveForever" for $2 off) and is letting folks know that if they buy it before December 13, they will keep access to it after the delisting, complete with offline installers.

That's not a new policy. That's their existing policy with no changes.

Though they're giving the company much gentler treatment than they used to. When Duke Nukem got pulled, GOG put it on giveaway.
> But shortly after release, Chinese players found a poster hanging in the apartment that serves as the games’ setting that said “Xi Jinping Winnie-the-Pooh moron”.

> Almost 10,000 negative reviews soon flooded the game’s review page. The developer, Red Candle Games, posted an apology saying it was “purely an accident” that the poster was left in the game.

10,000 negative reviews is wild for something so banal. I can't imagine defending a politician over what might be the mildest insult ever conceived.
You can check my (not finished) example of GitHub TUI built in OCaml:

https://github.com/chshersh/github-tui
Thanks for the insight. But since I own a real 1541, there should be a way to copy disk images to a floppy using Kung Fu Flash, right?
Drive scarcity? I was playing pirated WC3 20 years ago, on pirated battle.net. There's no such thing as scarcity for old games. They will forever be available as long as there are seeders.
> True, but for me, the techno-optimism started with Google. I was a young kid back then...

But for me, the world started with my youth. I was a young kid back then...
As if shareholders can’t decide their own CEO’s pay.
You can desugar let bindings that way but often times (as I believe is the case in GHC) you have a `Let` term in your AST.
> Really terrible treatment of one of the best game series of all time, and being part of Microsoft hasn't helped. It would have been nice if Warcraft 3 got the same treatment as AoE2 or AoM.

Oh, Microsoft, the destroyers of GUIs.

I tried AoE 3 on Steam (demo). It was a total disaster. Downloading was slow and then the game: At the first start would not let me build barracks (no suitable place found).

At the second start it was hard to found the baracks again (all icons look the same - Windows style enshitification) but the peasants will not harvest berry bushes.(bugs)
They made the UI much worse. The playground is round. The icons look the same so one has to look at tooltips to build a house. All in all a crappy experience.
I guess i will stick with AoE 2.
Hey,

Author here

Happy to answer any questions! At this point, I have 18 months of OCaml experience in production.
Losses amounted to 10 cents
I worked for the minicomputer division(may be using the wrong term - it was a long time ago) from 80-83 as an pre & post sales support - likely equivalent to the "SA" on the mainframe side. Within a week of starting they sent me off to Irvine CA for a two week course on the OS internals. Somewhere I believe I have a book that is a printout of OS source. (all V77 assembler).

I have some great memories - first time seeing whales just off Newport Beach stands out.
The city should take it down, fuck that guy.
Blizzard started down the path to failure when they merged with Activision, though I'm not sure they would have lasted much longer outside of that. It's apparent to me the only way "make quality stuff" survives as a strategy long term is to stay private like Valve. Public ownership ruins companies. They grow into inefficient messes and lose any edge they had while alienating their customers in the interest of short term gain.

Maybe companies should consider limiting their growth to stay nimble enough to provide value and stay viable. Maybe they do more good by being good at what they do than by chasing peak profit and diminishing their brands. Either way, Bobby Kotick was a bad CEO.
Still have the original war2bne disk. The change from war2 to war3 was, back then anyway, monumental. We couldn’t wait. All sorts of rumours but more than that - realities. Great things have come out of war3 of course, but damn did we jump on it with the gleam in our eye. Blizzard is no longer the company that we once knew, and what was once clear is now a distant shadow.
Can you link a few that are in the Pi5 price range?

Pi is ~70 EUR including ~25% VAT.

Cheapest N100 I found in 5 minutes of searching was a
ACEMAGIC T8 Plus for ~160 EUR. (Currently sold out)
I think college student teams strike a combo of time, talent and resource that would be surprisingly hard to come by in the larger “civilian world.” In college, you have a bunch of freshly educated, similarly minded people in one place with a whole bunch of free time to put towards one project, highly motivated because it’s both an extracurricular escape and a career prep achievement. And these teams are often financially supported by their school departments or fundraisers. If you fail, there are little if any consequences on your life. All these motivators improve the likelihood of making something truly impressive.

Sure, we can make an arrangement like this out of college. Call up your ex-rocket club teammates, who have all now graduated and making banks at rocket startups. Spend the Thanksgiving week grinding out the CAD, code and circuit boards then test everything out in a desert. But projects like this are a huge time investment and with work and family in the way, they can often be very difficult to coordinate and pull off.

Even if your rocket does end up shooting off and breaking a record, does it truly “beat them”? I find it a bit hard to compare a team of similarly educated college students to a group of adults, usually with relevant professional backgrounds. Maybe the closest we can get are YouTuber collabs. Sometimes I miss my days spent on my college team; it’s pretty hard for me to get an exciting, rewarding, comradely and occasionally traumatizing experience like that ever again.
They have another policy specifying that they maintain the games they sell. They don't sell as-is, they warrant that the game will run appropriately.

But we know they don't honor that policy.

What would you conclude?
We already admitted we were talking about trillions eg almost entirely our capital by any definition.

The people doing the most innovation will be the scientists who be compensated a tiny fraction of the money earned by the capital.

The people taking the most risk will be the people going.

Again the capitalists will be contributing little and risking almost nothing mostly their position on a scoreboard.

The person driving the school bus risks more and contributes more than the parasites.
On one hand, companies sometimes add value with rereleases of older catalogs: resolution updates, new multiplayer infrastructure, new content, etc.

On the other, huge companies that could do better throw out an AI upscale, more or less, and that seems to be what this turned out to be:
https://youtu.be/KZ9Ac4WVW6Q?si=9Wzjxl0Mkh4t3nMG

Too bad from a company that was once one of THE names in game development and often delaying shipping until the product was ‘right’.
Interesting! I feel like this is a cross between https://github.com/dagworks-inc/burr (switch state for context) and https://github.com/Netflix/metaflow because the output of the "task" declares its next hop...

The challenge with this approach though is that you need to run the actual code to see what it does, or as a developer build up a mental model of the code ... but it does shine in certain use cases -- and also reminds me of https://github.com/insitro/redun because it takes this approach too.
Built a Strong Password Generator as a Learning Project Using Cursor AI
I’ve built a Strong Password Generator as part of my learning journey in AI programming. This is a simple tool that generates secure, random passwords for your online accounts.

No sign-up required
Generates random, strong passwords in seconds
Easy to use and doesn’t require any installation
The project is a practice exercise to improve my AI programming skills, and I used Cursor AI to assist in the development process.

I’d love to hear any feedback or suggestions for improvement.
Making this joke falls flat in the comments section of a rocket science article about Americans continuing to dominate space.
By "the Rust community" here, you mean the author of the mail, one of the biggest long-standing developers of QEMU since before Rust was a thing? You're complaining that the developers of QEMU themselves are interested in adopting Rust because they think it'll work well for them?
As a desktop, one can get a used x86-64 dell ultra small form factor quad core Intel core i5 something, 16GB RAM, something 128 to 256GB SSD on eBay for a hundred bucks... It'll have integrated video capable of driving one 4k at 60Hz as native displayport. And a decent amount of other gigabit Ethernet, usb3, analog in and out audio, etc.

Yeah it'll be 7 years old but it'll still be much faster than a rpi5.

Even a mediocre Intel 120GB sata3 ssd from 8 years ago will run circles around a microsdxc card in disk performance.

These mostly come from corporate lease environments and have very little write wear on the ssd and are very clean.

The raspberry pi is more useful if you need the gpio pins or want something really small and perfectly silent for some embedded application.
Great write-up and I must say a surprising conclusion and good case for OCaml. I also love Haskell but using it for a practical project I came up against some of the pain points mentioned here.
If I could suggest some Emglish grammar fixes to this great article, the word order needs to be flipped around for the interrogative sentences.

Wait, why doesn't the standard library have docs at all for this version I use?

Instead of:

> Wait, why the standard library doesn't have docs at all for this version I use?

And

How can Haskellers live like that without these usability essentials?

Instead of:

> How Haskellers can live like that without these usability essentials?
> Quite often all the caller needs is to cancel whatever it is doing and propagate the error.

Yes, this is the most common case. That's why Rust has `?` to support it as well as exceptions do. My take is that:

- The caller should make this decision explicitly. This avoids propagating (or catching) the error accidentally and makes the code easier to understand and review (see the example with `f(g(x))` vs `f(g(x)?)?`).

- Exceptions make the other error handling patterns too unergonomic, and they're not uncommon enough to justify this cost. My post does a bad job at providing more examples to demonstate that they aren't uncommon. But e.g. `.map_err(Wrapper)?` is way more convenient than catching and throwing a wrapper, which isn't so uncommon in Java.

> "Potentially leaving your data in an inconsistent, half-way modified state." -- this is just not the case with RAII.

RAII solves this only when you have locally-owned data or some locally-owned "scope guard" [1] that acts as a "defer", like std::sync::MutexGuard.

This doesn't help when you hold a non-owned &mut to some private data structure, you're in the middle of modifying it and currently it doesn't hold its own invariants because you haven't finished restoring those yet. Now I understand that the post lacks a concrete example to demonstate this. I'm sorry. If you're interested in this topic, you can learn more by googling about exception safery (aka panic safety) in Rust and C++. Both are languages with RAII that doesn't solve the issue completely.

[1] https://docs.rs/scopeguard/latest/scopeguard/
Location: Abu Dhabi, UAE
Remote: Yes
Willing to relocate: Yes(only Europe)
Technologies: Python, PyPSA Framework

—-

I’m an engineer with background in Renewable Energy with experience in energy system modelling. I have experience in national/sub-national modelling using PyPSA framework. I’m proficient in Python and I’m looking for opportunities where I can utilise my expertise in energy along with programming!
I was trying to search in the paper for a definition of the shape, to, for example, draw it in SVG.

It seems there is no closed-form solution. I saw this paper is maybe easier to follow for the definition:

https://www.math.ucdavis.edu/~romik/data/uploads/papers/sofa...

Quote:

It is worth noting that Gerver’s description of his shape is not fully
explicit, in the sense that the analytic formulas for the curved pieces of the shape are given in terms of four numerical constants A, B, φ and θ (where 0 < φ < θ < π/4 are angles with a certain geometric meaning), which are defined only implicitly as solutions of the nonlinear system of four equations
> Draws about 10 watts

Idling?
burr looks very interesting!
That’s because politicians here have lost your respect to such a degree that it’s unfathomable that you’d have any loyalty to them. It’s understandable of course, but it’s not the case everywhere.

Old Russian joke about insulting Reagan in front of the kremlin etc.