skysight-inc/HackerNews huggingface dataset:
I think the author might have a debug build enabled. If you open the console you can see timing information logged. Loading the introduction page of the docs [0] logs...

[Debug] Hologram: runtime script executed
[Debug] Hologram: page script executed
[Log] Hologram: page rendered in – 876 – "ms"
[Debug] Hologram: connected to a server

Which is kind of crazy for a page with just text. Would be super curious to see what the perf is like on a proper prod build, it looks like they've implemented at least some part of the elixir vm in js

[0]: https://hologram.page/docs/introduction
> The reliability of this e-shifter in the X3 and S3 has been argued as the cause of the failure and eventual bankruptcy of VanMoof

I always wondered what exactly the problem e-shifters were trying to solve was. Is it the "ugliness" of shifting cables? Route them through the frame...
> the “look how we made you look like the hero” aspect

They know exactly what they are doing. That message is going to be effective and the person it’s targeted at doesn’t understand that it can be spun any way the CCP wants to spin it. How does he not see how risky letting a foreign government run something like TikTok in the US?
Sorry to be ignorant, but I have a couple questions about Wasm:

- Will the Wasm GC pave the way to having native object references to JS objects/classes (seeing how its the same GC as used by JS)?

- Is it possible to do lightweigt interop between a high level language using Wasm GC (such as Java), with a low-level one (such as C++) that doesn't use it? If, so, how?

Imo the biggest shortcoming of Wasm is the incredibly awkward way in which it integrates into the browser
AgTech fascinates me as well - it is a space with so much potential for gain and efficiency. All the pieces for fully autonomous crop farming are available today, but just not well integrated yet. To an outsider, they don't look like hard science problems, but merely ROI and mindset changes.
Big +1, I used zenhub at one of my first jobs and I miss it to this day.
Some Hulu users have to answer questions about the ads shown to them to continue
> In other words, US officials are scared that China is going to do what the USA has been doing with American social media apps in various countries

Yes, and? It's naive to think that this is anything new or surprising -- a country attempting to further it's own interests ahead of other countries that it is competing with.
Humor as a window into generative AI bias
Apple says it's following the law by removing TikTok from the App Store
I was looking for something like this article. Thanks for the post. Neat.
I think that the following PROMELA code proofs it:

byte n = 0
byte A = 0
byte B = 0
proctype Client(byte id)
{
do
:: (A == 0) -> B = id
:: (A == id) ->
n = n + 1;
assert (n <= 1);
n = n - 1;
A = 0
od
}
proctype LockServer()
{
do
:: (A == 0) -> A = B
od
}
init {
atomic {
run LockServer();
run Client(1);
run Client(2);
run Client(3);
}
}

It fails when two 'Client(2)' is replaced by 'Client(1)'
Those words have different meaning:

1. Libgen domains are "seized" - only the domains got seized, the website is still operational.

2. tiktok "goes dark", yes because it was an action of tiktok to go dark with the hope that they will be operational next week. Nobody banned them and even Biden said he would not enforce it so they could have simply do nothing and wait for the next week.

3. "censor" porn or news outlets, I think thats common usage.
As far as I am aware, you're still allowed to talk about all of those things? Has someone been prosecuted for speaking about any of those things? Like, actual criminal charges pressed for specifically speaking about those things?

Freedom of speech is not freedom to demand a platform to speak in. You don't have a constitutional right to a soapbox, just one to not be prosecuted for speaking from a soapbox you found. And unless you own said soapbox, you're relying on the owner of the soapbox to continue to allow you to use it.
Not sure if relevant but I thought this looked very cool.

https://www.squiggle-language.com/docs
Meta has an in-house accelerator that the Triton inference engine supports (which they use almost exclusively for their fake content/fake profiles project). Triton is legacy software and, afaik, does not have a Vulcan backend, so Meta may be locked out of better options until it does.

That doesn't stop Meta's Llama family of models running on anything and everything _outside_ of Meta, though. Llama.cpp works on everything, for example, but Meta doesn't use it.
It’s just words at this point
About CPUs, Languages, and Development Methods [pdf]
Many American politicians, including the people leading the charge for the ban, have openly said that this is the reason.

Senator Mitt Romney put it very bluntly [0]:

> "Some wonder why there was such overwhelming support for us to shut down potentially TikTok or other entities of that nature. If you look at the postings on TikTok and the number of mentions of Palestinians, relative to other social media sites - it's overwhelmingly so among TikTok broadcasts."

Or maybe Mitt Romney is just another conspiracy theorist?

0. https://www.axios.com/local/salt-lake-city/2024/05/06/senato...
Why are they publicly labeling it? Do you put it on your resume?
Yeah sure, let’s copy the censorship tactics of a dictatorship
Where I struggle with the narrative that I see often on here is regarding free speech, the idea that this is 1984/Animal Farm or some kind of antidemocratic action. The CCP has tight control over every company in mainland China. Until you can prove to me that the US government is controlling Meta, any of the whataboutism is just pointless. China is a fairly nefarious actor on the world stage, they grip media with an iron fist and within the country there is no room for swaying opinions, country and party first. ByteDance US had years to figure out an IPO or another way to divest controlling ownership from its mainland counterpart. They did nothing and only argued on free speech. The decision was not one of rational economic thinking, which makes you wonder what they want to achieve.

China does play a real threat to American and other western interests and has done so for many years. If you have evidence that ByteDance is not controlled by the CCP or that the CCP has not very openly played many games both economically, politically and socially I would be happy to see that evidence.
Knot tying, woodman tips and tricks, off grid tips, cooking (from basic knife holding to now knowing what a roux is, and how to properly make a gumbo my kids love), stories from people I would never have known, movie trivia, historical accounts, and being exposed to music I would never have otherwise found.

I truly feel a loss. I have changed aspects of my daily life for the better due to TikTok.

And I also watched too many cute animals and "don't talk to cops" videos.
Probably never since Haskell is always copying and GC'ing data...
rbanffy's comment was exactly as direct as I specified, and I'll reiterate their comment for posterity - "I’m sure they expect the issue to be resolved by paying the incoming president".

My understanding now is that now we've shifted from "ByteDance pays Trump to flip" to "American businessman Jeff Yass meets with Trump and convinces him to flip"

I hope you can understand that as a non-American observer I see a lot of distance between those two claims and find myself confused when they're treated with equivalency.
It happens because it happens. Would you be questioning it if you made a boat load of money off it?
What stopped other countries from doing just that before?
I had a generic report class that essentially fetched a bunch of database rows, did some stuff for each row, and then combined the results together into a report. (This was in Scala, I know Haskell doesn't have classes, but presumably similar situations can happen)

For one client, we needed to accumulate some extra statistics for each. For another, we needed to call their web API (so async I/O) to get some of the data used in the report. By making the generic superclass use a generic Applicative type, we could keep the report business logic clear and allow the client-specific subclasses to do these client-specific things and have them compose the right way.

Wanting custom applicative types is rarer than using a standard one, but it can be a good way to represent any kind of "secondary effect" or "secondary requirement" that your functions might have. E.g. "requires this kind of authorisation" or "must happen in a database transaction". But a lot of the time you can implement custom things using reader/writer/state, or free, rather than having to write a completely from-scratch applicative.
yeah, guess you gotta be careful with that, maybe there should be a tag like [Found] or [Discovered] so people don't jump to the conclusion that this is your framework that you're looking for critical feedback on.
Ask HN: How Do AI Apps Like ChatGPT Achieve Such High Speeds?
I’ve been experimenting with building my own Retrieval-Augmented Generation (RAG) application using an NVIDIA H100 GPU with 80GB memory, leveraging web search APIs like Serper and deploying various GPT models on platforms such as OpenAI, Azure, and quantized models on Ollama. While smaller models perform reasonably fast, anything beyond the 7-billion parameter range tends to be significantly slow.

In contrast, AI applications like ChatGPT and Perplexity demonstrate impressive speed in real-time searching, web scraping, content generation, and reasoning. Their ability to deliver results so quickly, even with large-scale models, is quite remarkable.

I’m curious to understand the engineering strategies and optimizations these companies use to achieve such high performance. Are there any insightful engineering blogs or technical resources that explain how they optimize their infrastructure, parallelize workloads, or manage latency effectively? Any insights into their backend architecture, caching mechanisms, or inference optimization techniques would be greatly appreciated.
this happens after I've moved everything to height. downside is it was a lot of work. upside is height is amazing and I'm pleased with the choice. anyone else using it?
MarvelSnap Game Also Goes Dark and Is Pulled from AppStores Because of TikTokBan
Has anyone build a linter that optimizes code for an LLM?

The idea would be to make it more token efficient and (lower accidental perplexity), e.g. by renaming variable names, fixing typos and shortening comments.

It should probably run after a normal linter like black.
Bring back sorting code search results by date!

https://github.com/orgs/community/discussions/52932
As of 2024, a representative strong-executive democracy with a large authoritarian leaning and an unhealthy obsession with oligarch-worship.

In 2028, who knows. The current president told his supporters that in four years, they won't need to vote anymore, whatever the fuck that is supposed to mean.
Pricing: Get in touch ( https://element.io/pricing )

Which seems to me they want to talk to purchasing departments, not end users. But let's pretend I'm trying to give them money anyway. No Buy/Sign Up link, the Get Started link in the top right and Get In Touch link on each price box lead to the same place: https://try.element.io/get-started?utm_source=pricing-busine...

Again, "consumers go away and use the free tier" or "learn more" about their enterprise offerings. Learn more brings you here: https://element.io/server-suite with a generic sales pitch and a "Get Started" link on the bottom.

Which sends you right back to the second page. So right now, apparently you can't pay Element money
I agree with your linguistic point and the interaction of bias and ideology.

It's probably worth adding, though, that Libgen, TikTok, Porn and News Outlets would all be censored/banned/deliberately-excluded-from-culture-by-people-with-legitimate-power for different reasons.

I think TikTok and News Outlets would be the most closely aligned in this sense.
Sorting code search results by date.
what is height?
None of those 1A arguments held up and the SC decision did not use "count of Palestinians" AFAIK. I am sure some of the initial support was drummed up for reasons like what you mentioned but ultimately that is not why its being banned. But going back to your point, mentioning democratic rights for a CCP app is hilarious.
From https://dusa.rocks/docs/introductions/asp/ :

> Answer set programming is a way of writing Datalog-like programs to compute acceptable models (answer sets) that meet certain constraints. Whereas traditional datalog aims to compute just one solution, answer set programming introduces choices that let multiple possible solutions diverge.

Fascinating! I could see useful applications in litigation (e.g., narrowing potential claims; developing the theory of the case; finding impeaching lines of questioning).
This thread is chock full of people who have no clue about what traditional AI even is. I'm sorry you have to deal with literal children
a well curated (pruned of anything you don't like) watch history is essential to getting a good youtube experience. it's pretty much the only signal that drives recommendations.
Estimates for the world population 2000 years ago seem to be some 150M-300M
Here you go: https://goodfeeds.co/search?q=tech
About A comprehensive guide for Linux Network (Socket) programming
In my opinion, Linux network programming, especially socket programming, isn’t that difficult. However, learning this topic on your own can be challenging because many online resources are unclear, and sample codes often only cover the basics. You might find yourself unsure of what to do next. That's why I created this tutorial. It aims to give you clear guidelines and plenty of examples to help you understand better.
I'm sure a few decades ago people would say that for not fiddling with actual binary to make things work.
Creating wrappers for Windows exe files using Homebrew and Wine
https://archive.md/cvzgy

(was down for me, this fixed it)
We've had Scala for about 20 years. (Is the JVM quite C++/Rust speed? No. But it's close enough for any realistic use case)
Saying people don’t know something is not maligning. Most people don’t know most things.
IMO Pandora's box is now open, and it's a matter of time before we see countries around the world offer the same divest-or-ban choice to Meta, Google, etc. The question is who first and how quickly it will happen.
250/s is still nothing when compared to an actual NLP pipeline that takes a few ms per it, because you can parallelize that too.

I know it's hard to understand, but you can achieve a throughput that is a few orders of magnitude higher.
The pl_mpeg project is a single .H file MPEG-1 player (video+audio) written in generic C. It wasn't written for speed, but to be a simple working project that can be compiled on any system. I decided to use my experience with code optimization to bring it to 32-bit MCUs. My changes so far have sped it up about 230% (on my Mac M1). The ESP32 and Cortex-M7 are the natural targets because they have enough speed and memory (with PSRAM) to run decent sized videos. MPEG-1 isn't the best video codec, but it's patent-free and simple enough to do in a few thousand lines of C code. It requires a lot more RAM compared to a Motion-JPEG player, but the compressed data is 5 to 10 times smaller and the per-frame effort is much lower. I will publish an Arduino example shortly which will play full speed video+audio on an inexpensive ESP32-S3 PCB.
Even just "organizing" the code requires great amounts of knowledge and intuition from prior experiences.

I am personally torn between the future of LLMs in this regard. Right now, even with Copilot, the benefit they give fundamentally depends on the coder that directs them - as you have noted.

What if that's no longer true in a couple years? How would that even be different from e.g. no code tools or website builders today? In different words will handwritten code stay valuable?

I personally enjoy coding so I can always keep doing it for entertainment, even if I am vastly surpassed by the machine eventually.
It doesn’t even need to go through Jeff Yass. It can just be a new Trump resort and casino getting expedited approval in Hong Kong, or some other place. Imagine the business opportunities being POTUS will bring to him and his family. The possibilities for corruption are endless.
Not sure why it would imply that

However, there’s been a lot of people not just signaling but openly announcing they are vying for the purchase. Like Kevin O’Leary, who said he’s offering $20b in cash to buy TT
Programs? I meant kernel and drivers. I don’t even need to open an app. My ASUS laptop with a 4090 steadily fails with an LG 40WP95XP with anything else than 100% DPI. My previous ASUS N552VW failed quite often on kernel level because it couldn’t handle the built in 960M, and it definitely couldn’t handle at all my older ultra wide monitor (I don’t remember anymore what was the model exactly).
`tree --gitignore && cat .py && cat templates/`
It's hard to find definitions of payment which don't relate to money. There's no doubt in anyone's minds that geopolitical positions benefit some states over others, it's a completely different premise to prescribe real direct compensation.

The waters get pretty muddy if we're willing to suggest that American presidents are "paid" by other nations to enact policy which benefits said nations, it's not unreasonable to ask for clarity about such claims.
I had him blocked and last I used xitter I still saw his stuff.
> We identified discrepancies in Medley’s Common Lisp implementation by testing against the examples in Practical Common Lisp by Peter Seibel.

Huh? While PCL is a great introduction text with practical examples, I doubt its suitability as ANSI CL standard compliance benchmark; it surely wasn't meant as such. Why not use Paul Dietz's ANSI test suite?

https://github.com/pfdietz/ansi-test
That's kinda untrue - there are games (not necessarily high end ones, but quite sophisticated ones nontheless).

The biggest issue is the API limitations that restrict you from doing things a certain modern way, and you have to use more mid 2000s techniques.

Here's a game that uses an Electron powered engine that uses Js and WebGL:

https://store.steampowered.com/app/1210800/Rum__Gun/
Instead of these features I want them to stop spam issues on my repos. All the issues I've gotten in the last year on my project are completely nonsensical. It's not even spam it's just like random URLs or complete nonsense from freshly created accounts that aren't trying to sell anything or just the issue template. And every time it costs me 2 clicks to click on "report" then I have to type "spam", click the spam category, then I have to type "it's spammmmmmmmmmmmmmmmmmmmmm" to hit the 15 character report description requirement, then I have to solve a captcha. All this despite the fact that I've had a GitHub account for like a decade and I've filed like 30+ spam reports, none of which were frivolous.

I opened GitHub after typing this comment and there it was, a notification from an obvious bot account opening an issues that's just 5 meaningless Korean letters with no description.
I mean, if I was bytedance I would do that free of charge to make the outgoing administration look like muppets :)
It's not naive, it's how languages work.

That grammar doesn't necessarily convey 100% of semantics is a problem of natural language. Or rather, of people being poor at communicating unambiguously.

Programming languages can also be ambiguous sometimes, but that ambiguity is resolved before execution by essentially following a priority list or throwing an error if no combination of rules fits.
Oh that's super interesting. But won't that be a super heavy wasm binary?
It's pretty rare, like any guessing game there are advantages and on the whole traitors entering last as I believe happened less often than the percentage of traitors to faithfuls would allow if it was randomised.
> latch onto tiny things

I think most people has a very low capacity for living with uncertainty. They much rather believe something random, e.g. whatever religion (or conspiracy theory) at hand, than admit that they can't know.

Uncertainty is demanding as it requires you to look at things from multiple angles/reasons and evaluate all options. It is much cheaper to just select a default reason. This is especially true for creating social cohesion in a group.
If its for you there is no need to overcomplicate it. Complexity is just for job security :)
So, just to make it very clear what I implied, yes. I believe he and his organisations receive benefits, directly or not, in money or other forms, for him steering policy towards what’s convenient to whoever is paying.

An easy way is for TikTok to just promise to algorithm away any criticism of him in the US.
The standard library is atrocious, mainly I believe for historical reasons:

- map only works on Lists (one needs fmap for functors)

- head throwing exceptions instead of returning Maybe

- dependent types bolted on later: they're much nicer in Idris
Luca is the progenitor of all life on Earth
You could still build a hot tub out of tile in such a way that it will last for a very long time.
Most of the tech people I recognize are on Bluesky now. If you follow enough of the same people, even the "Following" timeline won't help because they're just not there.
You shouldn't care what China or Russia say. The first amendment works only for American citizens, not for foreign subversion agents.
> the rural mindset doesn't do system

Can you explain that in more detail? I live in a rural area and see all the same systems of local government systems here as I did when I lived in large cities. Different scale, same systems. So I truly don't know what you are getting at.
What I noticed is that pitch of buzzing is higher when bee is attacking, not after sting. Higher pitch means probably higher frequency of wings, so bee has more velocity and it is more nimble. When I was kid visiting frequently a place with 100 hives in a summer. I started to recognize that pitch of attacking bee and learned to keep head lower, between arms. Sometimes I was chased by a bee several tens of meters. It is good to use cover of some trees or bushes. I believe bees are aroused by smell of venom itself. Sometimes, when hive is opened, bees turn their abdomen higher, towards opening showing stings. I think I saw that drops of venom forms around end of sting. Smoke particles, probably bonds to venom vapors, neutralizing its influence on other bees, because after couple smoke puffs venom smell is not noticeable any more. Also, smoke causes bees to change their process, from „intruder alert”, to „tree is burning”, and are turning on ventilation. Each summer, first sting swelled the worst, but consecutive ones were less so, so I think some tolerance develops, but it won’t last a year. The worst is being stung in fingertip, because it causes nail deformation, for some time.
If everyone started doing this ,we would have Google and Facebook in each country owned and operated individually
as someone outside the usa.. biden's legacy is larger gap between the poor and the rich, unqualified people getting hired out of dei instead of merits, lots of illegal immigrants geting in usa and doing crimes, and an unnecessary war between ukraine and russia.

am i wrong lol
It doesn't take much imagination; he spent 4y as POTUS and most people agree it was to his personal benefit. I'm not aware of this leading to expedited approvals for Trump resorts in other countries, but it seems you're more familiar with his dealings than I am.

I'd still love your clarification though - do you still stand by the claim that Trump is being paid to reneg on his position re. TikTok, as per https://news.ycombinator.com/item?id=42755872 ?
I appreciated this as well. Going in I was expecting a long winded technical report detailing npm compatibility issues or bundle size optimizations but no, they're simply setting up an apache webserver and shipping HTML/CSS.
Wouldn't those creators just shift to Shorts and Reels?