skysight-inc/HackerNews huggingface dataset:
Location: Germany

Remote: Yes

Willing to relocate: No (can travel for kick-offs/workshops)

Technologies: C++ / [Micro]Python / Yocto / Buildroot /
Linux / MQTT / InfluxDB

Résumé/CV: on request, LinkedIn: https://www.linkedin.com/in/maciejrogozinski/

Email: mrhn at fastmail.fm

I am embedded engineer with 14 years of experience with DSPs, microcontrollers and embedded Linux platforms. I can write bare metal firmware from ground up or create Yocto layers for custom board with ARM/RISC-V SoC. I am no stranger to picking up soldering iron, oscilloscope and logic analyzer to quickly find, debug and fix issues on hardware-software boundary. Whether you need a one-off battery and performance optimisations for you ESP32 device, bring-up kernel drivers and features for Raspberry Pi or design a new, multi-sensor LoRa devkit I am happy to help out.
I was trying to understand how an altitude of 470,000 ft compares to other things, so I looked up a few numbers.

470k feet is 143 km. The altitude record for an air-breathing aircraft is 38 km. There are some very low earth orbit satellites that orbit in the sub-200 km range (https://en.wikipedia.org/wiki/Very_low_Earth_orbit). The ISS orbits at about 400 km and typical LEO is 800 km. ICBMs have an apogee altitude of 1000 km or more.

(Of course, the energy required to get up to some altitude is only a small fraction of the energy required to get into orbit at that altitude. https://what-if.xkcd.com/58/ is a relevant read.)
Not exactly the same: `x` is given a polymorphic type (in F) in Haskell (restricted to values in ML) whereas the unannotated let-over-lambda will give `x`a monomorphic type.
What if you don't need a box or power supply? And what if you like then gpio pins?
"You didn't use enough compute in your reproduction of our methods" is kind of a funny criticism today. Well yeah, you're Google. Sorry guys, no reviewing of our methodology unless you own a cloud. It wouldn't surprise me if it's true that more compute, more pre-training etc. provides a lot of utility, but that does make it difficult to verify the work.

One interesting aspect of this though is vice-versa, whilst Google has oodles of compute, Synopsys has oodles of data to train on (if, and this is a massive if, they can get away with training on customer IP).
Oh, believe me, there’s plenty of those.
Same here, but I never sold my soul to them, so, while not having nearly as much money, I have my self respect. I hope you feel good about fighting the good fight, even if you did so by remaining in your natural, more innocent, state.

Peace be with you.
For the old stuff maybe, but they keep adding new stuff. AVX is from 2008, AVX2 from 2013.
I also dislike them. And I wouldn't disagree about them being "the cleanest", but cleanliness of syntax is only one concern. I also need to be able to mentally parse it, and on that from OCaml is very bad in my experience (haven't used Haskell much so I can't comment on that).

I've said this before but if you remove all punctuation and capitalisation from English it will make it look "cleaner", but it will also make it awful to read.

Look how "clean" text is if you get rid of all the spaces!

https://en.wikipedia.org/wiki/Scriptio_continua#/media/File%...

Clearly brilliant.
Ledsreact | https://www.ledsreact.com | Sports Scientist (Belgium), SportsTech Sales (Remote US/EU)

Ledsreact's radar technology enables elite sports teams to test 30+ athletes' agility in under 3 minutes, providing precise movement analysis without wearables. Our automated data collection and analytics are transforming how top teams measure and develop athletic performance.

Roles:

* Sports Scientist (Ghent, Belgium | remote+onsite) *

- Design and execute testing protocols for comprehensive athletic performance assessment
- Help elite teams extract actionable insights from our movement data
- Deliver hands-on support for athlete assessment and team implementation
- Lead validation studies and research initiatives
- MSc/PhD in Sports Science/Biomechanics with professional sports experience
- Strong data analysis and research background
- Extensive travel required for on-site client support (40%)
- Bonus: Experience with sports content creation

* SportsTech Sales (Remote US/EU) *

- Drive revenue growth across professional sports organizations
- Build relationships with performance directors and team management
- 5+ years enterprise sales experience, preferably in sports technology
- Track record of closing six-figure deals in professional sports
- Deep understanding of the sports performance ecosystem

Apply: jobs@ledsreact.com (remote candidates: include location)
Greate way to download x video! I would like it more if I can download by just change the url hostname in browser, e.g. change https://twitter.com/username/status/123456789 to https://twittersave.com/username/status/123456789
my child insists, reasonably, on playing minecraft, so we must endure the microsoft launcher ui stewardship for mc. what a hot mess of bloated bureaucracy-software-dungheap. It is as if even their installer has an installer and a loadscreen.
Consider if you, gosh, want to continue PLAYING EXACTLY THE SAME THING AS LAST NIGHT.
The launcher design response: ouh, i did NOT expect that! Please wait while we reauth and 2FA and sync your account and download and reinstall your game client.. wait a minute.. hmm, on second thought, Im not SURE we can just let you continue the game from "last night"..? oops, no wait.. WE CAN?!
I swear there is more code in, and people assigned to, their crappy bloated launcher, than to the game itself. Ironically, their store features are so buggy I often dven cant manage to buy their DLC theft-as-servjce stuff.
Jeff Bezos Is Betting on AI Chip Startup Tenstorrent to Take on Nvidia
I read this theory on 4chan that Master of Puppets is secretly a piece of software, if you get the tuning right?
Looking at your username, I have no idea if this is a real comment, a shill for China, a troll, or sarcasm gone of the scales. That's an impressive amount of metagame for a sure-to-be-downmodded comment.
Amazing, but surely you don't need to keep getting the shot once you've got HIV.
Over at AliExpress there are tons of options, like this[1] or this[2] fun 4x M.2 box.

Yes they're about twice the price of a bare Pi5, but they come with metal cases and power supplies, can fit an M.2 NVME without add-ons, and like the first example also includes some RAM and storage.

While likely not the best quality RAM and storage, what I got in mine has held up to light use for several months so far without issues, so better than nothing. YMMV.

I bought a few 2GB RPi4's when they were $35. At that price point they were great. I don't get the RPi5, especially 4GB+ variants.

[1]: https://www.aliexpress.com/item/1005007511663921.html

[2]: https://www.aliexpress.com/item/1005007900081466.html
Unless they turn faculty I kinda doubt it. Not to sully your robot team, but I expect many of these students to want to progress to bigger and better things in the commercial space launch sector which they can't do at USC. Also, money.

But I'll ask them now, and get a real answer.
Are books simply ink on paper?

Are stories just ordered words?
Zio-Kafka, faster than Java-Kafka
TlDR: Concurrency and pre-fetching gives zio-kafka a higher consumer throughput than the default java Kafka client for most workloads.
1. Instructions for the computer to execute
2. Wherever you put it
Thank you for the link.

Yeah, what we are doing now in ML isn’t really “engineering” in the best sense of the word. We don’t have a theoretical machinery that can predict performance of ML designs. (Like the way you can for a coding scheme in communications theory.) We have a lot of clever architectures and techniques, but not a design capacity.
I feel like to use even the most basic python tools I need to use a package manager or find solutions for mix matched dependencies.

Is this problem unique to me?
Location: Warsaw, Poland

Remote: Yes

Willing to relocate: Yes

Technologies: Python, Git, Docker, Kubernetes, CI/CD,
Prometheus, Grafana, Confluent Kafka, Argo Workflows, Additional: C++, C#, Java, Bash

Résumé/CV: https://drive.google.com/file/d/1kPOl3Py9jQkWpCvSCazFEOeBRoT...

Email: krzysztof.wojtkowiak[at]gmail.com

I am a seasoned Python Engineer with extensive experience delivering machine learning solutions and developing robust CI/CD pipelines. I am eager to explore opportunities in software engineering, particularly roles focused on CI/CD and AI/ML development. Additionally, I am enthusiastic about engaging in projects involving Go, Rust, and other programming languages, where I can expand my expertise and contribute to innovative solutions.
As a person who uses both, I won't leave an N100 system where I can leave a RPi5.

First, the overall footprint of an RPi5 is way smaller, plus RPi is easier to cool passively than an N100, also it allows RPi5 to be lower maintenance on the longer run.

Most N100 are noisier, hotter and bigger than a Pi5 (I have a smaller N100, but it's still actively cooled).

When paired with a decent A2 card (e.g.: Kingston Canvas Go), the SD-card related lag disappears. Add a good external SSD, you have tons of solid state storage. At that point you can just forget it.

I like my N100, and companies like GMKTec routes 2 PCIe lanes to NVMe slots allowing ~1.5GB of throughput, but for most home use, that's overkill. I rather use Pi as a server and N100 as a desktop (which is exactly what I do).
The original Agricola rulebook is almost completely unusable and the only way to learn how to play back in the day was someone who already knew how to play teaching you - I presume in an unbroken oral tradition all the way back to Uwe Rosenberg.

More recent Agricola rule books are much better.
Also relevant and interesting reading is SEP’s article on the philosophy of computer science, specifically the program section: https://plato.stanford.edu/entries/computer-science/#Prog
Just a quick well, actually. It's common at least in my corner of mathematics to put something on arxiv simultaneously with submission to a journal or conference. If I wanted feedback on a paper before submitting I would definitely do that privately. But everyone is different.
Cheapest G5 in Europe I could find was 180 EUR, but sold out. And on amazon.de it's 280 EUR.
Do-notation is not all that different—if anything, it is simpler—than async/await syntax that's gotten popular in a bunch of mainstream languages. I don't know if that makes it easy or difficult in an absolute sense, but it isn't any worse than Python/JavaScript/etc.

The indentation rules are definitely a mess though :/
No, it was not "literally" a lie. I'm quite certain Biden would not have done this if the next president wasn't an authoritarian bully obsessed with violent revenge on those who wronged him.
Actually, they have a team bio on their site. They look quite young to me.

https://www.uscrpl.com/the-team
QEMU has several tracepoint providers, the main ones are (a slightly fancy version of) printf and USDT. There is a Python program that generates the C code for the chosen backend(s), so the thing to do would be to adjust the script to produce either an FFI bridge or the equivalent Rust code.
A 9 hour old account too
>Why can't Côte d'Ivoire do the processing themselves?

Their civil war ended in 2010, Vietnam's in 1970-s
No need to email me about Cisco AnyConnect
Location: The Netherlands
Remote: Yes
Willing to relocate: No
Technologies: Next.js, Astro, Tailwind, Framer Motion, Redux, Zustand, Radix, shadcn/ui
Résumé/CV: https://studiokoro.com
Email: robbert@studiokoro.com
LinkedIn: https://www.linkedin.com/in/robbertvanderhoeven/

Hi, I'm Robbert, frontend developer with 8+ years of experience building and designing interfaces in React.

If you need someone to build out and streamline your web app's UI, whether it's a simple dashboard, complex developer tool, or anything in between, I can help.

Recent projects include UIs for an AI app builder, API development tool, and video asset manager for streaming services.

Looking for: Remote opportunities at US/EU/UK companies (20h/week).
Slop commonly refers to low quality food in Britain. Literally it means pig swill (which basically nobody has ever seen these days) but figuratively could be any food perceived to be low quality.
So… very boring?

Consistent inconsistency gets old very very fast.
Location: Amsterdam, Netherlands

Remote: Yes

Willing to relocate: No

Technologies: Mostly machine learning in python, but also
some experience in front-end and backend

Résumé/CV: https://taewoon.kim/taewoon-kim-cv.pdf

Email: taewoon@humem.ai
Spiel des Jahres quality games always have great rulebooks. Dominion, for all its complexity, has a very simple rulebook, and even all the corner cases you can run into with the countless expansion cards, have pretty neat "from the basic principles of the game" resolutions, usually obvious in retrospect. It is a very clean, rigorous design.

The same can't be said for games like Root. Which may have become more common in recent years, it's about 10 years since I was really into modern board games, so I don't know. But I suspect it's still the case that good designers and experienced publishers write good rulebooks.
> It’s not exciting to write a GitHub API client and parse tons of JSON.

While buried in our monorepo, so not very accessible, we just open sourced our product that is written in Ocaml and we have a GitHub client that is generated from the OpenAPI schema.

It is separated out from any I/O so it can be used in any I/O context.

https://github.com/terrateamio/terrateam/tree/main/code/src/...
Happy to hear you enjoyed the article!

Thanks for the suggestions! English is not my first language, so mistakes could happen. I hope it's not too off-putting, and people can still learn something interesting from articles.

I'll incorporate your suggestions :)
I released a game using OCaml bindings to the Raylib library. I had never written OCaml before and I didn't spend very much time refactoring, so the code is pretty messy and maybe isn't the best example of the language. But some of it turned out pretty nice - the first ~90 lines of this file detect collisions between two shapes using the Separating Axis theorem: https://github.com/mega-dean/hallowdale/blob/main/src/collis...
Yeah, that's where you just have to know what the "words" function from the standard library does.
Hmm, isn't this the definition? 10.3 of https://www.haskell.org/onlinereport/haskell2010/haskellch10...

> The effect of layout is specified in this section by describing how to add braces and semicolons to a laid-out program.

I wasn't going to actually read that in detail to see if it makes any sense, though, but it looks very detailed :).
Sure, you can improve this by e.g.

import Data.Either.Combinators -- from the either package

strSum :: String -> Either String Int
strSum = fmap sum . sequence . fmap tryReadInt . words
where
tryReadInt w = maybeToRight ("not an integer " ++ w) (readMaybe w)

This keeps the bulk of the method the same. Being able to go e.g. from Maybe to Either with only few changes (as long as your code is sufficiently general) is one of the nice things you get from all the Haskell abstraction. You can't really do that if you start with exceptions (unless you're in IO).
They were cheap computers, so people used them as cheap computers, I don't understand your point at all. For a quite a long time they were also the de-facto standard way of making a LED blink over the internet without having to dive into the embedded space.
I had considered that, time is hard

I guess I was assuming it was computed, not manually entered, therefore it's the most trivial of bugs, and was just trying to have some fun with a bug report
This is especially big news for those of us there in the 1980's when there was no treatment or vaccine at all, just a death sentence.
Taste is indeed subjective (see what I’ll do next ;)), but even with a panel of 32 experts, this list is limited to a handful of OECD countries in their spotlight, with one exception.

I’ve tried a good number of roasters on this list, and only a few come within batting distance of Father Coffee (not to be confused with Fathers) in Johannesburg and Rosetta Roastery in Cape Town. Those two roasters, the former more experimental and the latter more traditional, are doing wonders and punching well above their weight in the South African market. Both could easily be in the top 25, and Father is surely top 5.

Seriously, if you care about coffee and find yourself in Johannesburg, go to Father and grab as many beans as you can carry.
> six hundreds new games being released in a year

But many are just variations of a gameplay: Splendor and Century are the same thing (one of some limited actions per turn, most things visible, you buy something to generate resources to buy points). Most cooperative game too: it's either unlock like (escape room) or forbidden island (some objectives and a way to increase the pressure on players).
I have some perfect pitch due to having piano training for 2 years when I was around 8, started playing tenor saxophone 2 years ago, because of perfect pitch I had to learn the instrument as a concert pitch instrument instead of a Bb one, because thinking about a C but hearing a Bb will drive me crazy.
I think we can see that this isn’t true in this case. They are building on successful work from 2019’s record setting attempt, implying plenty of continuity. And these are undergrads so they are not generally doing heavy research. They are likely well advised.
You joke, but seriously, had they asked Redditors, they'd know better than putting fucking Raja of all the people, in charge of their GPU team.
*COMPANY*: [polars](https://pola.rs/)

*TYPE*: full-time

*LOCATION*: Amsterdam

*REMOTE*: Optional, Based in the Netherlands is preferred

*VISA*: No

*DESCRIPTION*: Polars is the company founded from the Polars OSS project. The company is building a distributed query engine and managed data platform that can run the full polars API with different scaling strategies. (Almost) Our whole tech stack is in Rust and we are building the platform from scratch.

* [backend-engineer](https://hiring.pola.rs/o/rust-backend-engineer)
* [database-engineer](https://hiring.pola.rs/o/database-engineer)

*COMPENSATION*: Competive salary and Stock option package

*CONTACT*: hr@polars.tech
Location: South San Francisco Bay Area, CA, USA

Remote: Yes, prefer on-site/hybrid if possible

Willing to relocate: No, unless in DC, USA (DMV area)

Technologies: Rust, Python, Java, Various Infrastructure/DevOps tools (e.g. Ansible), (2 YOE in Infra, 1 YOE in Backend)

Résumé/CV: can provide on request, but no different than what I've written in my experience section. https://www.linkedin.com/in/junesyi/

Email: [first4lettersofmyusername]s[last2letters]@gmail.com
Same here, this would easily beat it as far as I have seen, but maybe I did something wrong.
Why DoD (US) instead of Ukraine Gov?
And receive potentially correct answers! Enjoy the gamble! Relish the uncertainty!
> I _never_ figured out the indentation rules

Weird. Haskell's my preferred language and I thought there was only one indentation rule - if something's further to the right it's part of the same expression, and if something's down it's a new expression.

f
x
y
g z

... With a slight addendum that you don't need to write 'let' on consecutive lines, e.g.

let x = ...
y = ...
Oh yeah. I have no idea what's available there. Sorry!

GMKtec sells on AliExpress if you don't mind going that route:

https://www.aliexpress.us/item/3256806972422176.html
Well Erlang and Elixir both have a type checker, dialyzer, which has a type specification not to far from what you proposed. Well excluding the variable or function captures.

Elixir’s syntax for declaring type-specs can be found at https://hexdocs.pm/elixir/1.12/typespecs.html
One of the things i find with playing a new board game (as a very casual player), is it usually comes down to someone reading the rules to the group.

This is always frustrating because the person usually drones on about the part you understand, until eventually you stop paying attention,but spends ten seconds on the complex part.
Show HN: Rechat – An Open-Source v0
Hey HN - Dan here, co-founder of IntegrationOS (a Rust-based, open-source universal API).

We just shipped Rechat - an open-source v0 for building apps on top of Postgres, BigQuery, Google Sheets, Airtable and other DBs/APIs.

We love tools like Vercel's v0 and how they empower developers, but feel closed code bases create black boxes for teams wanting to ship production AI. They also don’t integrate well with business systems, which is why we built a fully integrated, open and transparent equivalent. Rechat is licensed under MIT.

Here's the demo: <https://www.youtube.com/watch?v=Uj2PstbdMyo>

Today, Rechat's stack is:

▪ Anthropic's Claude for design and frontend code
▪ OpenAI's ChatGPT for intent distillation and code review
▪ Clerk for auth
▪ Convex for realtime data storage
▪ IntegrationOS for realtime integrations

The code is fully available on GitHub and we're looking for contributors and feedback!

If you want to get involved with contributing to AI projects, feel free to comment or open a PR: https://github.com/integration-os/rechatai
Same morph as in polymorphism.
> N100 is inexpensive, has impressive performance, and can support 16+ GB RAM.

Yep runs 32 GB just fine, even if not advertised. Also great Software support as usual on the PC Platform. Also more I/O, esp. PCIe than a Pi and you actually can buy boards with standard connectors. Also at least for server type use cases x86 is most of the time probably still a lot less painful than ARM.
I started as a programmer than moved to management position of team of 8, mainly because I felt I wanted more impact on the projects I worked on, I still code as a hobby.
Now I’m doing product management, and I enjoy it very much, but it’s definitely connected to my talkative personality and my enjoyment from talking about ideas, also the feeling that no programmer can slip out of responsibility by talking about technology with me also helps because I feel like things are moving fast and for the better understand my responsibility
It's so classic that board game adaptations of computer games are bookkeeping extravaganzas. I don't understand why people want to "replicate the computer game experience" in a board game, why not just play the computer game then? There are so many games that play to board games' strengths, instead of trying to be cut down computer games.
You'd think most people who put stuff on arXiv would already be reasonably confident it is correct, at least through correspondence with their peers. However...

That said, I've no reason to doubt this proof (it is not within my wheelhouse).
> but it’s definitely not forcing people to accept it.

No one is forced to accept it. The big whiny outbursts from the old guard was when the RfL guys asked them to specify their implementations; they were never asked to touch a LoC of Rust even with a 10ft pole.
I guess the more succinct the code, the more the reliance on understanding what a function actually does - either through experience, or by reading the docs. The words function is simply:

words :: String -> [String]

So that

words "foo bar baz"
-- Produces: ["foo","bar","baz"]

In my experience, both the blessing and the curse of Haskell's incredible succinct expressiveness is that, like other specialised languages - for example using latin for succinctly-expressed legal terms - you need a strong understanding of the language and its standard library - similar to the library of commonly used "legal terms" in law circles - to participate meaningfully.

Haskell, and languages like Go (which anybody with a bit of programming experience can easily follow) have very different goals.

Like many in this discussion, I too have developed a love/hate thing with Haskell. But boy, are the good parts good ...
According to the Kagi FAQ, "our search results also include anonymized API calls to all major search result providers worldwide", so I don't think they are relying entirely on their own index.