skysight-inc/HackerNews huggingface dataset:
> Taking something as fundamental to what FP is like map/reduce and saying "this can live in an adjunct library" feels like somebody took divide and conquer a litte too far.

What are you talking about?
Sometimes we need to release a little chlorine into the gene pool. Tear the warning labels off of products. That kind of stuff.

Sure, Science has been having a bout of issues lately, and isn’t doing so hot. But it’s the best self-correcting bullshit-detection system we have in place. And in terms of discovery and research, it’s the ONLY one available to us.

Those who understand the value of Science and recognize the trust that exists with well-researched and extensively-tested solutions will listen to medical experts and take the vaccines that give them a fighting chance at survival.

The remainder will fill hospitals and morgues to bursting. And it is by this method that conservatives will lose a majority of their electorate, especially if the pandemic has the 50+% fatality rate that H5N1 has.

The only downside is when the hospitals have ground to a standstill, any other non-pandemic treatable issue also has a real risk of becoming life-threatening due to the lack of said medical services. When plague rats have sucked up any and all available medical care, not much will be left for innocents who have had genuine, non-pandemic accidents.

At this point I am so disillusioned by the gross cultivated ignorance of conservatives that I really have very little sympathy left for them. If they’re not going to accept reality, why should I care about reality biting them in the ass?
Getting Started with SurrealDB 2 and Axum for Web Development
Interested in hearing thoughts on this 'database.'

Everyone seems to want speed metrics, but I find the language interesting.

Didn't even get to relations Person1->likes->Person2.
https://github.com/matthiasgoergens/Div7 is a simple one that you might like.
On the subject of music games, does anyone have good vocal training game suggestions? I used to be quite a good singer in my youth, but aside from my shower, I don't get a lot of practice now, and would like to.
And, sure, why not. Let's have a 100% inheritance tax beyond a maybe a couple million in protected assets. If we want to pretend to have a meritocratic system, then we can't have that joke of a loophole creating dynastic wealth.

Either we have a system where people earn wealth on merit, or we have a feudal aristocracy with extra steps. It can't be both.
You might find this an interesting read:

https://acoup.blog/2020/03/20/collections-why-dont-we-use-ch...

TL;DR is that it's not used these days because it wasn't actually all that effective, at least not when used in modern warfare. That is also why it's (mostly) honored, even though many other prohibitions under international treaties are ignored by the largest (ab)users.

However, if conditions similar to WW1 become dominant on the battlefields - and, looking at Ukraine, trench warfare at least is back in some way - this might get re-assessed.
I get a sense that WASM and friends will be in the next platform mix.
> What do we have to gain by going to mars?

There's an assumption in the question that we are going to Mars.

We aren't. It's the individuals who own the resources and money to implement space flight and Mars colonisation that are going to Mars. We don't get a say and our opinion doesn't really matter, unless we also happen to own aerospace companies. As such what we might have to gain depends on what the men in the arena choose to share or sell from the results of their efforts.
a side note, I actually quite like this game even though it's horrendously luck based. Like a less competitive monopoly.
Location: Delhi, India

Remote: Preferred

Willing to relocate: Yes

Technologies: Go, .NET, NodeJS, Postgres, Redis, RabbitMQ

Résumé/CV: https://docs.google.com/document/d/16aBuErrGzQ__j8H7UxdqDWfW...

Email: singh [dot] mahesh [at] g mail[dot]com
What's Go, if not Golang? I mean, there's some other programming language called Go that I don't know about?
Tenstorrent closes $693M+ of Series D funding led by Samsung
Yeah I don't know....custom ROMs feel less trustworthy than a publicly traded corporations locked down OS. Things like Graphene can't run some bank apps because of security concerns from the banks. I would rather run a pixel missing a few security updates than a custom rom. I also don't visit shady sites or install non mainstream apps.
> The Haskell standard library was split off into smaller parts. Map used to be part of the standard library. To date the containers package (which contains Map) is still pre-installed alongside the GHC compiler. So it should be considered part of the standard library.

See those words "to date" and "considered" Not Is, is considered, to date. Thats what I am talking about.
Nope.

Robusta is the primary choice across much of Asia. Vietnamese are heavy coffee consumers (so the domestic market is strong) and VNese coffee is cost-competitive in Japan and SK due to FTAs.

Furthermore, for historical reasons Robusta cultivars tend to be very popular across Asia (just like the Phin or Filter Coffee - the metal apparatus for drip coffee is part of the Colonial Era exchange across Asia - or chicory coffee mix)

It's just about money. Too many farmers entered the coffee industry in the 1990s and 2000s as it was the cash crop of choice back then, and there are a handful of larger wholesalers who cornered purchasing.

Nuts make way more money than coffee because of better margins and lower cost of inputs. A lot of this is also driven by Food Processors, as VN cornered the nut processing market (eg. most nuts from sub-Saharan countries like Côte d'Ivoire get exported to VN for processing) so there was excess capacity.
> It may be of benefit to their children or grandchildren, but they themselves are largely screwed.

What evidence do you have of this, today?
its quite a bit different. Jack Dorsey wasn’t appointed to a government position, he also wasn’t nearly as vocally extreme as twitters current owner.

also, it’s we don’t even have to speculate, the current owner has been very vocal that in addition to directly joining the current administration, he plans to be even more heavily involved in influencing politics around the world.

i can absolutely understand why journalists would want to distance that piece of their toolkit from his platform.

honestly, id be more skeptical of journalists who don’t move to other pastures.
Happy (for the most part) long term heroku customer, this is great to see.
It's just that I work in an adjacent area. It's not so much a question of security but of legacy, history, and performance. When Palo Alto was founded, 2005, I think C/C++ would basically be the only choice for these sorts of quasi-embedded/realtime high performance security applications. Then once you've built some sort of ecosystem around a certain technology introducing new technologies becomes harder.
It’s accurate to say that there are twelve intervals, anyway, which is the point you were making.
If you would ever part with a 7011 I'd happily pay for it plus shipping.
Sure but do they not check whether a sample is contaminated? That would seem like a step you can't skip.
Why did you reply to this singular issue where you have a defensible position in theory but not the longer one which absolutely nuked your position from orbit?
We've been on Heroku Enterprise for 8 years now. I read your comment and clicked on the link with so much enthusiasm.

Duh. You guys have completely forgotten who your audience is. Your audience is _application developers_. I have no idea what all that mambo jambo means in that article _and thats why I pay Heroku_.

I'm on Heroku because I don't want to know about cloud native and fir and open telemtry are. You tell me I should get excited on Heroku? How about improving your autoscaling options so the narrow response-time-based scaling is not the only option?

All that article tells me is that you guys are maybe improving your underlying infrastructure. Meh. Good for you. From a customer (AKA Application Developer) perspective nothing has changed.
There's a lot of embedded skills in pretty much any hardware platform. Maybe this is selection bias from being an embedded-focused person in robotics, but there's plenty of jobs out there that need a toolchain wrangler who can deal with cost optimization.
Out of date. David Mayer is unblocked already. https://arstechnica.com/information-technology/2024/12/certa...
Thank you! Eight million users using this extension agree with you. So it's not a problem of one person, or screen settings. If only they knew that FFF-background is a mistake.
Totally agree. When I upgraded from an 8 to a 13, I had more failures to unlock in one month than I did for the entire lifetime of my 8.
SEEKING WORK | USA | Remote

Technologies -
Programming: C/C++, Python, JavaScript, Kotlin
Embedded Systems: PowerPC, ESP32, STM32, Altera MAX10, Lattice iCE40UP5k
ML: TensorFlow Lite, PyTorch, OpenCV, MATLAB, ONNX
IoT: BLE, WiFi, MQTT, LoRa
Digital Logic: VHDL, Verilog

Resume: https://docs.google.com/document/d/18mjB1tIH5s-ZmiET_smUxbMo3FaiC637aW_us8P0U5I/edit?usp=drivesdk
Email: dm@datameta.info

Hi, I'm an embedded systems engineer/architect with experience in software, hardware, IoT, and machine learning. Seeking projects from low-power remote applications to mid-range edge compute and HPC.

My latest projects have been in full-stack edge AI R&D, memory controller firmware dev, and chip bringup/testing. I'm passionate about modular synthesis and tinkering with all sorts of circuits and DSP. Currently upskilling in analog PCB design and refining my abilities in FPGA development.

Let's make your idea more concrete.
Same thing happened to us. Moved to kubernetes 2 years and we had to rebuild all the features of Heroku in house against a kubernetes backend.

I’ve been working in my spare time to try to create an open source version of this, in case it would be useful to anyone else in the future https://github.com/czhu12/canine
what do you mean by that? all functions in haskell are pure unless you explicitly use unsafePreformIO or similar (which is rare to ever have to do)
Nice to see some folks encouraging how to solve problems with less fancy features/lang extentions (especially in commercial context), considering not all Haskell coders are programming language/compiler nerds :)
I understand. But if they told you the price regardless of whether someone asks, it would address all the potential reasons weitendorf suggested about not wanting to ask. They're happy to tell me the specials. There aren't usually more than a couple of things that are "M.P.". They can go the extra mile and tell me those.
Even before the exploding cars for no reason or other of the fireballs you mention, you'll probably have seen the classic Michael Bay camera moves. The easy one to recognize is the one that starts out low pointing up at the hero then raises up as the camera circles around. It's in pretty much everything he does. I've never seen his Victoria Secret stuff, but I would not be surprised to see it there too
Interestingly enough, OCaml has a great polymorphism story in its OO system. Because it is structurally typed with nearly automatic inference, you can in fact write completely generic code like `x#y(z)`, which magically "just works" for any x that has a method y that accepts z - all inferred and statically type-checked.
It doesn't fail as often as Face ID - you can touch the phone on table and don't have move your head to get it right (especially on the iPad).
Its more secure because it requires an active action (touching) vs passive (looking).
>Applications of category theory to computer science predate the first US computer science department.

This doesn't sound plausible: according to Wikipedia, Eilenberg and Mac Lane introduced concepts of CT in 1942, and CT was originally used mainly homological algebra, with applications in logic/semantics later. Certainly CT was given credence by Grothendieck and Serre, working on (and solving) Weil's conjecture in the 50s and 60s. Lawvere's 1963 thesis predated categorical logic (according to his own words, <http://www.tac.mta.ca/tac/reprints/articles/5/tr5abs.html> p. 12, "but the method here, and indeed in the whole ensuing categorical logic, is to exploit the uniqueness by using adjointness itself as an axiom"). The first computer science department in the US was started in 1962 in Purdue University. Meanwhile for contrast the proofs of Church and Turing were published in 1936.

>I would wager that you can't name a logic not expressible in category theory.

I prefaced my statement with an "if"; you're not talking about toposes apparently. The interpretability of one theory in another is a concern of logicians and I'm not familiar with any restrictions on category theory, indeed it can be used for logics. I do not know topos theory but I was basing my statement on what I heard Colin McLarty say in an interview of his <https://www.youtube.com/watch?v=81sPQGIWEfM>, can't give timestamp; he definitely named logics that cannot be expressed by the topos of a space.

I feel that you've used two straw men: 1) specifically naming US 2) ignoring my "if topos" and saying "expressible in CT".
For that you will have to look outside the west. Consider traditional Arabic maqam music.
My goal is determinism specifically around message timings/execution in replay. We don't currently advertise runtime determinism, we also don't promise fixes for determinism in your code. For message timing, the algorithm should be stable - it generates a timeline for when messages should be executed by each message handler, and will pause further executions to wait on handlers that "should have" finished, but haven't due to running too slow. Ties are broken by the handler name or data source name. I wrote a bit about it here https://basisrobotics.tech/2024/09/02/determinism/ but didn't go deep into the implementation. If your own code isn't deterministic you will have differences, but this eliminates the biggest classes of nondeterminism when running tests (threading timings, message handling races).

I don't think Copper claims to offer more than this either, but I can't speak for them.
Next-level frosted glass with backdrop-filter
Secuity tips if you're getting your child a smartphone/tablet for Christmas
Every instrument is a C instrument if you want it to be. "Transposing instrument" is a misleading name. They're really just instruments for which Western staff notation is conventionally written transposed. If you're writing all your own notation for your own personal use or playing by ear it's irrelevant. The transposition isn't part of the instrument.
Trump's mass deportation plan can use AI to extend immigration crackdown
Its basically impossible to finance a meaningful try at colonizing mars without national resources
I think Render is pretty good. https://render.com/
https://www.badspacecomics.com/post/dementia-ward Obligatory
15 years on Heroku, absolutely no regrets and would do it again and again and again. It's one of those "no one goes there because it's too busy" type of situations. Don't fall for the noise, just use Heroku and move on with your life.
(2023)

Discussion then: https://news.ycombinator.com/item?id=34213549
Lol, imagine being downvoted for asking a couple of questions.

Still 5k points to go, though! :D
Stupidly, this was a problem a few years ago when face recognition would only pick up whites and asians.
This post isn't compelling to me.

> a completely useless skill

It's probably an overrated skill depending on the musical task, but to say it's completely useless is really ignorant. Nearly anyone who studies music at the university level or above would find this statement ("completely useless") to be wildly incorrect.

> Random chance would be 8.3%.

A random human won't sing off the cuff with their tonal center magically quantized to one of the twelve keys in our modern western tuning (Equal Temperament).
This is just an incredibly corrupt form of lawfare. The original opinion she wrote was unprofessional and activist in its tone. That alone was a bad ruling. This confirmation is mostly a confirmation of the original ruling’s absurdity.
Recorders also have big variation in timbre (and volume) with different notes.
This looks cool but very hard to make use of. I wish the author had some info on how to operate on the file format too. I could see myself using this for a retro looking game or something like that.
Marketing speak aside, I'm curious what is actually changing for the end developer in the "next generation". Heroku already supports building and deploying containers, and that will presumably continue.
Interesting. Why doesn't the standard lib use that for the examples I listed?
I'm not saying skills you pick up doing embedded work aren't useful in robotics contexts. I'm saying roboticists often have the luxury of an OS, and they take advantage of it, so the worries you have doing embedded work without an OS are mitigated.

I would say tho there are different "kinds" of roboticists. Just as you have backend and frontend devs in the web world, you might consider people who work on hardware or software to be the robotics equivalent. Hardware people are going to be low level and working with embedded devices and may even program them. But higher up in the robotics stack most of that embedded know-how (toolchain wrangling as you put it) is much less important. The full stack robotics engineer has hardware and software knowledge/experience, but you don't usually see roles that ask for both, so people tend to specialize into one or the other.
Tl;dr: 4/5 stars for hobbit software SaaS.

—————

Full version: I run it on a dedicated machine 2vcpu2gb on digital ocean. Every tenant has an index and i have like 30k searches per week across all tenants. Each tenant has from 1 to 150k documents in their index. Sentry catches MeilisearchTimeoutException couple times every day with the message that Meilisearch could not finish adding document to index. I don’t care too much about that because background worker is responsible for updating index, so that tasks gets rescheduled. I like to keep my sentry clean, so it’s more an inconvenience than the issue.
Meilisearch setup is very straightforward, they provide client libraries for almost all languages (maybe even for esoteric and marginal, idk, i only need python), have pretty decent documentation covering the basics and don’t really require operations at my scale. I really liked the feature of issuing the limited access tokens to be able to set the pre condition. That’s how i limit the searches for particular user on the tenant to see only their data.
They almost always ask if you want to hear the specials. They're happy to tell you the market prices too! That's what they're there for!
Location: Mumbai, India
Remote: OK
Willing to relocate: No
Technologies:
- Python/Pandas
- Java/Spring Boot
- Data Engineering (ETL/ELT, data pipelines)
- Product Development
- Other (SQL, Redis, Docker, AWS)
Résumé/CV: https://dvalia.in/blob/Darshan_Valia_Resume_Technical.pdf
Email: On Resume
Linkedin: https://www.linkedin.com/in/dvalia

Data/Backend engineer for the past ten years (Java, Python, SQL). Experience building ELT pipelines and data platforms (from scratch!) for financial data, but happy to work at any level for any problem that needs solving. Remote is preferred for time zones spanning Europe to India; onsite/hybrid in Mumbai is also great. Unfortunately cannot relocate.
The interesting thing about this is that rockets can easily be net negative in terms of CO2 stuff.

One way is in the fuel itself. For instance the Space Shuttle main engine was powered by combustion generated from liquid hydrogen + liquid oxygen - the exhaust was literally water vapor.

A second interesting nuance is that any fuel burnt outside of Earth's atmosphere is a carbon reduction, so a hypothetical rocket that could get out of the atmosphere on 50% of its fuel would be net neutral/negative.
I think this will be quite the enticement for lawyers to sue companies incorporated in Delaware...

>The judge additionally ruled on the award for the Tesla shareholder who brought the original suit, calling their request for $5.6 billion in legal fees “a bold ask” in a case about excessively high executive compensation. McCormick said the plaintiff, a Tesla shareholder named Richard Tornetta, was entitled to $345 million in either cash or Tesla shares
This is Map as in Data.Map.Map, not as in Data.Functor.fmap.
Biden administration bars China from buying HBM chips critical for AI
I was also disappointed by a still image showing a vast sky, but in motion you see it's just a painting on a short ceiling. The model interpreted the vast sky as a painting on a short ceiling.
I’ve not read the PDF yet (but will), but posting now becuase by the time I have time to finish a 50-page PDF, this thread will be dead.

But I’ve been watching Paul’s Gaming Rules! channel [1] for several years now, and regard him highly for not just writing rules, but also his YouTube content.

Re: On Mars, I’m curious to see what the author points out as critiques, because I felt like it was really well done. The game is a beast, and I think it would be hard to put together a rule book for such a game without it being a complex task.

But I feel like most complex games (heavier weight — 3.5+ according to BGG’s scale) are hard to learn by rules alone, and these days watching a teach on YouTube — or, even better, a playthrough — really helps with these heavier games.

To the OP’s (likely) point, maybe rules alone should be enough? I mean, how else are the YouTube content creators going to learn! :)

But I think for heavier games, no amount of rules wordsmithing will allow people to learn them without some fumbling and in-game rules referencing… and still getting some of them wrong.

Also, if interested, there is a blog on BGG by the OP, with more discussion there. [2]

[1] https://youtube.com/@gamingrulesvideos

[2] https://boardgamegeek.com/blog/13453/blogpost/164134/every-b...
Sleigh Bells and Custom Ops: A Jolly Journey with Perl's Ref:Util
This is where the choice of theme can make a big difference. If chosen well, the players will be naturally guided to appropriate choices. Stock market game? Buy low, sell high! Farming theme? Can’t reap before you sow. Etc…
"Teetering [on] the brink" is overdrawn. I'm not aware of any analysis that suggests that the Ukrainian side is on the verge of collapse.

My own sense is tha the conflict is long past the point where it can be meaningfully won by either side. The best either can hope for is an outcome that can be presented internally as "not losing". Any attempt to portray the outcome as substantially stronger than that will be a matter of spin and rhetoric.
If your argument wasn’t that a no-tip restaurant would seem higher priced, what was the purpose of your second paragraph?

> There's very few high-service income workers.

Yes, we’re in agreement? I was just referring to how the opposition here would trot out quotes from some bartender who makes $75/hour and not mention that they were the upper fraction of a percent and the median was considerably lower.
OCaml is not an unsophisticated language. It inherits the features of ML and has first class modules, which is not present by default in Haskell (present in backpack). Not having first class modules leads to a lot of issues.

Also, there is a better story for compilation to the web.
It was a horrible time in Gia Lai at the time.

My in-laws were part of the generation of displaced Vietnamese who were resettled in the Central Highlands for coffee cultivation back in the 70s-90s, but this mass migration of ethnic Vietnamese pissed off the indigenous Jarai and other Hmong+Khmer ethnic groups, which led to a sustained insurgency and a lot of horrid human rights abuses.

The current GenSec of Vietnam (To Lam) is notable for his career as the butcher of Gia Lai during his tenure there as part of the MPS.