skysight-inc/HackerNews huggingface dataset:
The Nvidia situation wasn't predictable as they sell an unique item with pratical applications.

There are no alternatives to Nvidia GPUs if you want to efficiently train an AI, they have an effective monopoly.

Personally i would have invested in TSMC/ASML or Intel as this point. Buy the shovel maker.
Does Emacs or Vim have better support for PHP type hinting and intellisense?
In the coming days, I'm going to give a serious try to one of these "super flexible but super high learning curve editors" called vim and emacs. I'm just unable to make up my mind on which one though I've heard and read many good things about both.

Right now I use Notepad++ and php type hints is one of the essential features I highly depend on. When I type a php function call such as `strpos(`, NPP shows the function signature in tooltip.

From my initial research so far, I came to know that none of these editors provide this basic feature out of the box, at least not without some tweaks. For example, vim does provide something called "omni-box" when you press `C-X C-O` but even in that case, it won't show the popup/hint in case of a single completion option (for that you have to enable the `menuone` option as described here[1]).

The point is that I want to have a seamless and comfy PHP editing environment without spending a lot of time on these tweaks - I might invest some learning time if there is more utility in the long term, especially compared to what I currently get from Notepad++. How does emacs fare in this regard? Is there better PHP support than vim for that?

Finally, I'm already ruling out the "heavy" IDEs like Eclipse PDT and PHP Storm as my laptop configuration isn't that high, it has an Intel Atom processor and just 2 GB RAM which crawls if I try to put too much load on it.

[1]: https://vim.fandom.com/wiki/Make_Vim_completion_popup_menu_work_just_like_in_an_IDE
Somebody has to pay for all that energy storage. And that somebody is always the customer.
The tablet looks absolutely amazing! But: does it support multi touch and palm recognition? Can it be purchased with international keyboard variants? Or is it just a prototype at this point.
They do so:

“ though the project is discontinued (a new version is being written here Shuriken), I thought it would be interesting to write about my experience of how I wrote the first version of its Intermediate Representation (from now on IR), how I implemented the different algorithms, and how I transformed Dalvik bytecode into this IR”
Common Interface Mistakes in Go
The current owners:

System1 operates an industry-leading responsive acquisition marketing platform (RAMP) powered by AI & machine learning.

Their privacy policy is kinda lame.

https://system1.com/terms/privacy-policy

>Your browser settings may allow you to automatically transmit a “Do Not Track” signal to online services you visit, including our Services. Note, however, there is no industry consensus as to what site and app operators should do with regard to these signals. Accordingly, unless and until the law is interpreted to require us to do so, we do not monitor or take action with respect to “Do Not Track” signals.

> Who we share your Personal Information with

>We may share your Personal Information within the System1 Group (as defined below), with our third-party service providers and professional partners, with parties with whom we enter into a corporate transaction, law enforcement agencies, courts or regulatory bodies (to comply with legal obligations) or otherwise with your consent. More information can be found here.

> How long your Personal Information will be kept

> We retain your Personal Information for as long as is necessary to achieve the purposes for which it was collected. More information can be found here.
450us humour derivation/confirmation is good:

(8K + 8)^2 = 64M + 2*64K + 64 = 64,128,064 (assuming decimal M, K)
Discussion (18 points, yesterday, 14 comments) https://news.ycombinator.com/item?id=40763965
Cities Skylines, the Anno series, Timberborn, Frostpunk, etc. Broadly, they're called city builders. Many are available on Microsoft PC Game Pass, which can be combined with GeForce Now to allow you to play AAA games in a browser, streamed from Nvidia.

I maintain a community list of building and other engineering / building games, if it helps: https://github.com/arcataroger/awesome-engineering-games/blo...
I was responding to the parent poster's assertion that the only area worth focusing on in pharma is drug discovery, but you're right that CAR-T is very different. Monoclonal antibodies are a more apt analog. Key economic drivers in monoclonal antibody production include fermentation titer and overall yield, as highlighted in the article "Process economics of industrial monoclonal antibody manufacture" from ScienceDirect [0]. These same factors—cell density and yield—are also critical for lab-grown meat production.

The persistence of process-related challenges in both industries, despite significant financial motivation to solve them, underscores their complexity. This relates back to the "fractal no" concept from the original article, where each obstacle in cultured meat production is composed of many smaller obstacles. Importantly, monoclonal antibodies can sell for thousands of dollars per gram, orders of magnitude more than meat, yet even with this immense profit incentive, the pharmaceutical industry hasn't solved these bioprocessing issues. This suggests that cultured meat production, with its much lower profit margins, faces an overwhelming set of challenges,

[0] https://www.sciencedirect.com/science/article/abs/pii/S15700...
Curiously, in the pure lambda calculus with Church numerals, the factorial function doesn't need recursion, since Church numerals already act like iterators: fac = λn.λf.n(λf.λn.n(f(λf.λx.n f(f x))))(λx.f)(λx.x) or as a lambda diagram:

┬────────────────
┼─────────────┬──
│ ──┬──────── ┼ ┬
│ ┬─┼─┬────── │ │
│ │ │ ┼─┬─┬── │ │
│ │ │ ┼─┼─┼─┬ │ │
│ │ │ └─┤ ├─┘ │ │
│ │ │ ├─┘ │ │
│ │ ├───┘ │ │
│ ├─┘ │ │
└─┤ │ │
└───────────┤ │
└─┘
Who drew those boundaries at 15/85? What makes those boundaries useful or correct?
I have a feeling I was hired to be this second guy and I really just want to hang up my gloves, man
The Triumph of Counting and Scripting
Maybe some kind of custom NFC command that writes the UID into the EEPROM and sets a flag that it's now read only?
It took me much more time (~3 years) than the author here. I meditated following a book. And the what is described here as J7/J8 happened while meditating. But, J9 happened where I didn't expect it. My dad learned yoga from a guru, and he taught me some Pranayama to ease my breathing, as I have chronic cold often. That works, but I experienced J9 (here) while doing those Pranayama rather than Sati meditation. I didn't expect it or was "trying" anything, but it happened there.

The author sheds no light in their state of learning or lifestyle. If I had to venture a guess, I would think that they play significant role..

Following Buddhist eight fold path as much as you can, serving the needy, leading a mindful life, and knowing the basics of mythology, philosophy, etc. probably will help.
Cue the classic joke:

A finance professor is walking across the University of Chicago campus with a student. They come upon $20 lying on the ground, and the student leans down to pick it up. The professor said, “Don’t bother. If it was really there, somebody else would’ve already picked it up.”
Thanks for sharing your thoughts about simplicity on clm & contract software
there was a golfing site based around this technique that was posted here a year or two ago?
The problem is, should you take 1582, 1752, or some other year for the cutoff? If you receive a bare date from anywhere within the Gregorian calendar transition, there's no foolproof way to know which calendar it's using. Better to treat dates that old as the social problem that they are, and not try to decree a one true interpretation that will fall flat in most contexts.

(And if you do need to interpret old dates, consider adding explicit calendar-type annotations to your dates, and especially make sure they align with the calendar(s) your sources are truly using.)
You're talking to your other account.
It's also fair to say there's a personality type that becomes fully bought into the newest emerging technologies, insisting that everyone else is either bought into their refusal or "just doesn't get it."

Look, I'm not against LLMs making me super-human (or at least super-me) in terms of productivity. It just isn't there yet, or maybe it won't be. Maybe whatever approach after current LLMs will be.

I think it's just a little funny that you started by accusing people of dismissing others as "unwashed masses", only to conclude that the people who disagree with you are being unreasonable, near-religious, and simply lashing out.
1. Thats ok. If you’re expecting your rfid tokens not to be copied just because it seems inconvenient to do so, you’re in for a surprise! Your ticketing system cannot assume tickets in any form cannot be replicated- they can be and if you introduce such a vulnerability in your system, you will lose revenue

2. As per 1, no issue

3. That’d be a great feature if true, I’m all for immutability. However , qr codes can be defaced easily, hopefully the built in checksum defend against that. a more likely threat your system needs to defend against is that new qr codes can be generated extremely quickly

4. Both systems are the same speed, both systems require accurate targeting by the user, an rfid token slightly askew of the reader will not read since it won’t be able to influence / absorb the generated rf - most of these systems work by providing power to the rfid token and it communicates back not by transmitting its own signal but by exerting influence on the signal it’s receiving. It’s a very very low power interaction and very sensitive to positioning

A better problem than 4 is that you entail staff overheads with a visual system to keep them clean.

Read / write is a bad feature, you will lose ticket sales.

Recycling these is not practical. Direct reuse risks jamming the vending machine (used tickets end up subtly bent, very hard to reliably deal with), actual recycling isn’t viable, the energy required and emissions produced exceed that of creation of a new card from raw materials.
The main issue is that most of these tools like TLA+, live in another dimension, proving something in TLA+, doesn't mean when the algorithm gets actually implemented in C, it still maps to TLA+ as proven.

Formal methods need to be like SPARK 2014, or DbC, actually part of the programming language, or being able to generate code in the target language, interop with its libraries ecosystem, and have good quality good with performance, that won't make people want to remove the generated code and rewrite it manually.
I don't get this, you use a dev board for ease of access. If you need a tiny footprint, just place the chip on your board O_o
There is a difference from random people around the Internet, and people that were actually Nokia employees at the time.

And yes, the board as well had its own share to blame, including hiring Elop in first place, with a big bonus payment clause if he managed to sell Nokia Mobile business unit, which naturally he ended up doing as well, and created a huge scandal in Finland's press at the time.
Oh, I thought the user was suggesting using just ",nds" instead of "comma,nds". That makes more sense.
My employer was dumping toxic waste into the apartment windows from their fab
Meta is embracing ActivityPub, lending credence to the protocol

Bluesky has a more interesting compositional design (ATProto), seeing more ex-X users there every day

Both can be monitored by creating a similar UX for users, running large data nodes so most dont notice the difference, and then injecting ads in their interface or charging a monthly fee

Both open the door to increased competition, because switching cost should be lower (in theory), which is what we really need.

I definitely think decentralized architecture is the better way to build social media.
> There are people who claim the proof is the code itself.

Yet this is what emerges when you write a sufficiently detailed proof.

The more detail you add to your TLA+ model, the more it looks like just another implementation (albeit untyped, so it's pretty easy to slip errors into).
There was a time in my life where I would have lost many, many months to this app.
The very old Qc Na koan is still relevant -- http://people.csail.mit.edu/gregs/ll1-discuss-archive-html/m...
Elliptic curve crypto is not post-quantum. (Indeed it’s likely to be broken before RSA if cryptographically relevant quantum computers occur).
I don't think the suggestion is the QR code contains the ticket info, but that the QR code is the unique tag into the back end virtual ticket system. 1 to 3 are not relevant in that context, and 4 isn't borne out in my experience with modern readers (they're used in the bar code mix at parkrun and they read time is vanishingly fast with a smart phone, generally better than barcodes). The number of bits might increase the difficulty if capturing the code, but I would very surprised if a fast, robust system can't be built.

The huge disadvantage of NFC in this context is the electronic waste necessarily produced.
Look, maybe I'm naive but the "technical debt" this approach generates is appalling. Someone's going to have to shave that yak or you'll trip over it on your way to market.

Whatever happened to "write code like it'll be maintained by an axe murderer?"[0]

0. https://wiki.c2.com/?CodeForTheMaintainer
Domination: A contrarian view of AI risk
Discussion (71 points, 4 hours ago, 29 comments) https://news.ycombinator.com/item?id=40772224
Okay so high production value is no longer an easy marker of high trustworthiness for you.

>“I'm upset, not because you have deceived me on this, but because I can no longer believe in you.” — Friedrich Nietzsche

But just why is AI information slop so repulsive in its current form that it is pushing people away from the internet?

It can't just be because there was little consideration or applied thought and we feel we deserve more of that. If the content was highly accurate plus or minus a few extra fingers on the stand-ins where is the problem?

I think there is less deception intended in an AI-slop-go-brrrr shop than in a typical highly produced man-made documentary. I'm repulsed by both sooner or later but I have more faith in the unrestricted AI tech long term. A lot is going to change and need to get used to.
Is there scientific proof of above claim such as "WASM sandboxing is pretty good!" ?

At least most if not all ffmpeg decoders and demuxers are fuzzed all the time and any found issue is addressed.
A true essential tool. One of the few pieces of software for which I own a personal license.

One of the useful features is that it keeps the executable running even after the script has finished, and will re-execute in the same process.

This has some downsides and quirks (if you're not careful, you can double-initialize things like database connections), but has benefits for debugging.

The newer versions have "built in" support for Benchmark.NET too which is a really nice feature for quickly proving code.
> ... 16-bit realmode (V86), 16-bit protected mode, and 32-bit protected mode code in the same process by using different segment descriptors...

> ...Intel could've made ARM32/64-mode segments a reality...

While I myself admire this particular breed of masochism, the direction that Intel currently wants to take is apparently quite the opposite.

In May last year, they proposed X86S[1][2][3] which tosses out 16-bit support completely, along with 32 bit kernel mode (i.e. the CPU boots directly into 64 bit mode, 32 bit code is only supported in ring 3).

The proposal trims a lot of historical baggage, including fancy segmentation/TSS shenanigans, privilege rings 1 & 2, I/O port access from ring 3, non-flat memory models, etc... limiting the CPU to 64 bit kernel mode, and 64 or 32 bit x86 user mode. With the requirement for 64 bit kernel mode, it effectively also removes un-paged memory access.

[1] https://en.wikipedia.org/wiki/X86-64#X86S

[2] https://www.intel.com/content/www/us/en/developer/articles/t...

[3] https://news.ycombinator.com/item?id=36006446
Have you tried using Anki or another SRS program? In my experience, it will solve whatever memory issues you have – as long as you keep up with your cards.
Interactive global map of 2023 PM2.5 concentrations by city
At a client of mine they want to rewrite a product I designed and maintain to get rid of their hard dependency on me and move it to their default tech stack. I was very relaxed hearing that since my expectation was it would never actually happen since there would always be something else that is more urgent.
So far my predictions were absolutely correct. Half a year in we have a bunch of meeting notes.
What I observed is pirate groups either rip BD, or WEB-DL from Amazon Prime video, unless it is some Netflix / Hulu original content they don't pirate from Netflix due to poor quality.

Netflix is not focusing on quality but saving their delivery cost on bandwidth, which may hurt them later surprisingly.
This is not a problem, because in my market each day at 17:00 the fixed hourly prices for the next 00:00-24:00 period are published. Weather and therefore renewable energy yield is good predictable for 24 hours.
Hate cars, but especially car noise. I find it fucking insane that we require quiet EVs to make engine noise. Drop the speed furthe instead. And people need to learn to watch for pedestrians. And pedestrians need to watch for cars, maybe get rid of the (noise cancelling) headphones
Where would .NET developers be without the Java based IDE, the irony
Nice achievement while being a SPOF in this field is interesting.
> Vue.js 2, to Nuxt, then an integration of Vuetify 2 (which is about the worst library I have ever had the misfortune of working with, and has a giant amount of runtime dependencies).

This is my experience with Vue overall, not just it's shitty ecosystem and libraries.
How Those Colorful Azulejo Tiles Are Made
I’ve never got used to linqpad over just creating a console app and writing code, it may be because I’ve never been one for keeping a collection of snippets?

I’m not against it, I just don’t need it
Quickly create a donation page, you have this moment haha
You've replied to somebody talking about "if somebody developed (something not in this blog post)" with a long angry rant as if they had imagined the blog post claimed it had developed that thing.
Since they need to probe each die to test it on the wafer, they set the UID at the same time. According to the datasheet, "These bytes are programmed and write protected in the production test."
Archived: https://web.archive.org/web/20240402014358/https://www.nytim...
DevDiv, nowadays part of Azure, is serious about .NET.

Unfortunelly WinDev and XBox[0] only cares about C++ and COM nowadays, after they won over the whole Longhorn drama.

[0] - Managed DirectX and XNA were projects pushed by key engineers, folded after they weren't any longer around to argue for their projects.
I have tourn off the AI features, as I have no need for those and have no interest in reading the privacy fine prints.
I love the 2s and Exes at the end of Windows API call names
How do we build the future with AI?
Many wealthy people that I know in the non-profit space vote for gridlock in Congress.

I’m talking otherwise Democrat northeasterners aiming to send a Republican to the Senate or vice versa. Nothing gets passed on this topic as long as the filibuster cannot be met.

It’s interesting to me. I can see benefitting from the status quo as well compared to some bills I’ve seen.
Not nearly as dire as some of the other recent videos from that area.
And then you have the rebar-free Roman lime-pozzolan concrete used in the Pantheon, still standing after 2000 years.
We might be lucky and the emulator guys might have enough testing
Sqlx4k: A small SQL library written in Kotlin for native platform
No, but it helps.

Like money doesn't give happiness... but it helps.
Yep, I have the same impression. Anything that proves something about stuff that's not the actual running code is nearly useless to me. The code will be changed every single day by developers who may not be familiar with that code. The verification must work on that implementation code.

As I see it, the only way to do it properly is to embed the proof in the code like we embed types in the code. For example, we've been able to get rid of NullPointerException completely by using the checker framework, all we need to do is maunually annotate all values that may be null (everything else is assumed non-null, if you try to assign it to null the compiler won't compile):

@Nullable String getSomething();

The annotation is not a layer on top of the code, it is code. The compiler can check it (with appropriate extensions).

I even played with adding support for dependent types, I am convinced the compiler extension would allow me to do that, but unfortunately I have other things to do.
But the land parts are annoying.
> This kind of extreme utilitarian approach seems flawed when you view healthcare as a human right.

Of course it seems flawed when you're delusional and view absurdities as human rights. Do you have a right to rollercoaster rides? Do you have a right to jazz music? What about a right to gold jewelry? If you have these rights, then all sorts of other sensible principles seem flawed.

> But on the other hand, companies are not making these decisions based on ethical frameworks.

Why would that be necessary? Why do you think that whatever outcome you want actually requires making decisions in that way? And how could you ever guarantee that the decisions were made "based on ethical frameworks" even if law mandated it?
Nearly died from mysterious industrial chemical exposure from my employer, Apple
That doesn't need to be solved.

Continuing the stream of inputs holds no meaning once you've tested every possible permutation (branch coverage) beyond checking for memory leaks. Every software has a finite amount of states it can hold, most developers just erroneously expect some states to be unlikely or impossible to reach.
Why USA isn't buying more EVs
From RSS to My Kindle
3) Certified firmware*

* the telecom can and does blacklist IMEI numbers for unsigned firmware

* it is illegal to fix bugs that cause eSIM hardware lock-ups

* You can catch g05t5 on the carrier VPN network sandbox hitting each client

Sometimes it is better to wipe the slate clean, and start again... LoRAWAN certainly does make sense in some use-case applications.

https://www.youtube.com/watch?v=hMOwbNUpDQA
NVidia make those things for quite some time you know? They also have done heavy investments in software side and had total dominance there for years. It's not like your needed to know 10 years ago.

>>TSMC

Relatively low margins, few good well negotiating customers. Can't grow fast.

>>ASML

What do you think market
could have missed there? Good company with simple business model. Very unlikely to grow fast.

>>Intel

Terrible company with long track record of stupid decisions and deception. What make you think they will suddenly turn around and start innovating?