skysight-inc/HackerNews huggingface dataset:
I also recall there being concerns over what Denuvo does to SSDs. It basically dramatically increases the number of writes to disk, causing them to wear our much faster than they would otherwise.
That would be the Lockpicking Lawyer.
Open sourcing the Nginx playground
wondering if that up and to the right is going to continue? Is it winning?
That sounds absolutely amazing! In a similar position to you regarding an amateur interest. I’d have loved to have been there too.
Indeed - there seems to be a concerted attack on nuance, and even thinking.

Great people like Stallman, Tesla, Feynman, Chomsky, Assange and Snowden, etc, are smeared and dismissed due to unrelated, out of context, twisted, false selections of views.

Tribalism is fed and magnified, saying the 'wrong' (no matter if true) thing gets you dismissed as a conspiracy theorist / tankie / Trumpist / how many other "thought-ending insults". No questions, no time for looking at evidence, just thrown in the 'other' bucket.

Biden asked Twitter to censor true information that went against the preferred narrative, and the so-called left wing collectively decided "there's no there there", it's a "nothing-burger". More clichés. And the 'other' sides thought-ending clichés are so barmy that it's impolite to even describe them accurately; and it physically hurts to even try.

And it does go back to that "bipolarity", which acts very like a monopole on certain big issues like oil, war, equality, censorship, and people not in the tribe.

I don't think we can blame it all on social media or human nature either. In too many cases, you can point to someone shadowy putting their finger on the levers of power. Murdoch, Turner, Zuck, etc; they all have a lot more in common with each other than with us.
DuckDB does on their page. https://duckdb.org/
Unikernels are the emperor's new clothes: they lack the stack of services and capabilities delivered to normal system images necessary for real production use: firewalls, security, monitoring, performance measurement, backup, auditing, and fs ACLs. To skip them is to put blinders on and walk around without clothes on.
Strongly typed is orthogonal to dynamic and static typing. Python and Common Lisp are both "strongly" typed and dynamically typed. There's no reason to shun strong typing if you also like dynamic typing.
That's a compact data structure, but now show us the type checker and the evaluator?

Your data structure is also not the simplest choice of syntax for lambda calculus, since you require an explicit type annotation on every function variable. I don't think a user of your implementation would find it "simple" to write even the identity function for a non-trivial type.
I agree as a minority. The constant virtual signalling is a plague. It's just too excessive and not productive.
I think that Generative AI applications is a config management problem. Think Prompts X Chains X LLMs. Your prompts wont work across everything and everything will break on model change. Coding this into ur classes is what everyone does.

I think the better answer is to declaratively pull out the prompts X chains as jsonnet code. Call it trauma & learnings from the K8s/Borg world. We have formats that have evolved as a result of millions of lines of code wrangling clusters/terraform/etc - so we decided to build a SDK over it.

that is what we did here - https://github.com/arakoodev/EdgeChains/releases/tag/0.2.0

EdgeChains is basically Generative AI prompt engineering modeled as config management.
It would be beneficial to Google if they were to get your information but not just hand it out to any app that gets installed. Google can have my contacts and location information. But if I download some random app, it doesn't need my exact location.

Maybe it needs a rough location like within 100km of my real location. Android could feed it a fake location and say its exact.
The original paper also does plain STLC first in section 2, and then adds dependent types in section 3. (And finally it adds the naturals in section 4.)

In the Idris2 github repository, Guillaume Allais goes a step further and shows a well-named version. There the types of terms and values are indexed by the list of names in the environment and the compiler checks that the manipulation of deBruin levels and indices is correct:

https://github.com/idris-lang/Idris2/blob/main/libs/papers/L...
The part that is unprecedented would be giving up an edge in a battle that will win you the world if you win the battle, by saving a few bucks. At the highest level (think OpenAI/Microsoft, Google) money is not going to be the lynchpin for a long, long time. This thing is too close to "forever good enough" at way too many things to lose your edge by being too clever by half.
> as most developers are not USers

Yes, but this a english speaking forum, from a mainly US based incubator, so the audience is self-selecte... Nothing against dev from other part of the world.

> I doubt most developers would consider blowing thousands of dollars on a Mac

Mac are consistently the most selling laptop... so clearly someone is buying them.

> And who buys Microsoft laptops? That's weird.

Agree. Big mistake, but this one is on me :)
> Buy more icloud!

Except you can’t get more than 2tb which is a joke these days, esp when you share with 5 family members.
Depends on what you need it for but I have a ten year old FLIR i3 with 64x64 pixels. It’s fine but the feature I would really like is that newer modules have both a normal camera and a thermal camera and they overlay the color image and the thermal image. That makes dealing with the low thermal resolution WAY easier since you can actually see which thing is hot. If you have a bunch of similar shaped chips on a board and all you can see is some rectangle is hot, it takes a moment to figure out which one you’re looking at. (I do this by covering each chip with my finger and seeing when the image is occluded).

So you don’t really need high resolution for most stuff if you have the color image overlay. I haven’t shopped for them in the last ten years before those types were common so I don’t have a specific part to recommend.

The thing is they are a fun toy but sometimes I question whether I should have spent $1500 on mine. I would suggest going on the cheaper end, not chasing specs for no reason, and just get the value out of it without breaking the bank. They’re neat but for my use case I’ve never felt like I really needed to have it. If there’s something that’s $300 go for it.
Plants also are able to make more of themselves from dirt out of pennies worth of matterial
That won't work in simply typed lambda calculus. (Try to write down the types involved!) Either untyped or dependently typed is required.
And one in Bloomington, Indiana. Took the family to check it out last Thursday. Smells exactly as advertised.
Probably the wrong way to look at it. Digital electronics doesn't really exist outside of theoretical spaces. It's all analogue underneath and any experienced digital designer will know that and what the consequences for things like signal integrity, noise immunity and latency.
All those topics sound like minefields I would be cautious discussion even with good friends, and then only if we have similar views. If I knew there would be a significant disagreement I would drop the topic probably, avoids more trouble.

I think it’s about minimizing liability. I wouldn’t want a work dynamic to turn toxic due to a coworker’s prejudice or some disagreement we had debating over the water cooler. At work you focus on work, sure you can have some chit chat but generally these topics are breached after being acquainted with someone.
We’ve seen the top dog fall from grace in the VC world before (KPCB missing social and mobile after a truly epic run in the 90s)

Is that what we are starting to see for Sequoia?

Like KP, I doubt they’ll fold, but it would be interesting to live in a world where sequoia is just top half instead of top 1.
More than one person can be in a room at one time I think.
Growing your email list is a fundamental aspect of effective digital marketing. It serves as a direct channel to reach your target audience, allowing you to nurture relationships, promote your products or services, and establish a loyal customer base. Therefore it is important to know how to grow it. This post may help you do that just that!
What about hail damage? That's the main concern holding me back, but is this something already being addressed?
I think zoho does this
It's pretty much impossible to find an outlet in Germany in public. Certain types of trains have them, but many don't. Like, the only guaranteed outlets I can rely on are at home or at work, and even at work, I'm constantly moving between meetings and simply don't want to futz around with cables all day. I never have to worry about charging my laptop between meetings. That kind of convenience is hard to beat.

Battery life matters. Maybe not to you, but it matters.
IIRC, 1980's Guinness Book of World Records for largest and stinkiest flower.
iVentoy uses ISOs and NetBoot IIRC does not use ISOs.
Most people love to hate something. That and reproduction are the two main factors that govern almost all human behavior.
I get this feeling too "maybe I'm not the target audience"
This feeling is followed closely by "Who is the target audience?". Some abstract concept of an audience doing complex LLM work to accomplish... something?

The value in statistics analysis for LLMs is clear, the value in chaining responses is very unclear.
It's very clear from the piece that what he means by the timeline is the (old) algorithmic timeline.

Though, note that, even if you use Twitter purely on the linear timeline, you are still exposed to the algorithmic timeline, because, well, where did you think the people you follow were seeing the stuff that they retweet?

Even without this effect, it would have changed; a lot of people are _no longer using it_. My linear timeline is dramatically different to how it was a year ago, because so many people have just stopped tweeting (though, actually, now that I look at it, I had to scroll back about a hundred items on my linear timeline to find something that wasn't a retweet; presumably something is once again broken.)

> In fact, Twitter pre-Musk had this. It's just different bluechecks now.

As far as anyone knows, old-Twitter did not prioritise bluetick tweets (at least not directly, though the selection criteria for bluetickdom did mostly select for people who were getting a lot of visibility for other reasons); it certainly did not promote them to the top of the replies. Naughty Ol' Mr Car framed this as a new thing that he was doing (and the sea of irrelevant bluetick responses on anything popular is certainly a new phenomenon).
And the city lives up to its name. No one saw that coming.
FWIW, Galilean relativity aka Galilean invariance, the idea that Newton's laws are true in all inertial reference frames, predates that by a few centuries. But I'm not sure when they started using the word relativity for this.
you seem to keep ignoring this key word:

mindlessly
The two key insights that drive the game-physics approach of PDB(which follow decades of spaghetti-on-the-wall) essentially come down to: choosing a source of error that can be controlled, and not throwing away information too readily.

You end up using position because you can then solve for "only give me an answer with a valid position" - addressing it through motion makes it an indirect process, and then errors become subject to positive feedback loops. This biases PDB towards losing energy, but that's desirable for stability, and XPDB reduces the margin of error.

You avoid throwing away information by being cautious about when you "go forward" with a solution to the next timestep, and possibly keeping multiple solution sets alive to pick them heuristically. This is something you can do extensively when you are aiming for simple physics with abstract dynamics(platforming games, fighting games, etc.) - you know what kinds of solutions will "look right" already, therefore test all of them, make a ranking, backtrack as needed. When realism is needed the principle still works - you can still rank solutions by making up a metric - it's just made more complicated by the number of answers you get with complex dynamics. That explains why XPDB moves away from "substepping" the physics: it's more important to "go wide" and scan for a single, high-quality solution than to try to linearize each aspect and hope that using smaller steps will reduce the error for you, which was a common approach for abstract dynamics and resulted in biasing like "x axis movement is favored over y". The secret sauce in XPDB's design is in getting the desired qualities in a more analytic fashion, without so much brute force computation.
I understand your point of view, and while I mostly agree with what you’re saying, I think the loss of trust in academic/PhD circles is not just because of flakey articles like this - and actually I think a lot of lay people would jump at this one because it’s easy to read, and about a popular kids show.

While I personally find this article to be extremely subjective and the arguments are weak, I do think it provides some food for thought, and perhaps more generally it creates some good discussion points.

I think the loss of trust in academic circles is also to do with elitism, it’s not like just anyone can go off and get a PhD, even if you can get it for free it’s a significant time investment which a lot of people cannot afford to invest to advance their education. I guess my point is not everyone can realistically achieve a PhD, so that elitism creates a perception of “them vs us”.

Additionally, academic’s often use language that separates them from those who have not been schooled in their rhetoric, further reinforcing beliefs that they are some how different to the rest of us.

Also, academic’s are often used to support government initiatives and as social trust in governments continues to plummet - so to will trust in academic’s.

Also, academia is guilty of p-hacking.

So there’s a lot of reasons why academic/PhD circles have lost trust of mainstream society and I would say articles like this are fairly benign, and the ones that do the real damage are the ones like Andrew Wakefield’s publication in the Lancet falsely linking MMR vaccine to autism.
>"OH we forgot to tell you about this caveat", then we'd go back to the drawing board, update the schema (thank heavens for migrations), rinse and repeat.

Doesn’t sound that different from standard business software development!

Fascinating project. Really enjoyed reading about it - well done!
Ford Has a Crazy Idea That Lets You Drive Off-Road While Standing Up
I don't have any PCB shots but I have some sample ikages from a cheap Noyafa which does 160x120 on my blog. The next model up (also much cheaper than FLIR equivalents) claims double resolution at 256x192

https://bbrks.me/noyafa-nf-583-review/
When I had a look at the CLBG results last time the code generated by FreePascal was even about three to four times slower than C/C++; but the benchmark rules are not particularly well suited for fair comparison (some code is obviously written with inside knowledge of the particular compiler/version and not what you usually see for the given language, and the Pascal code likely includes range and overflow checks which make it slower compared to a language without these, etc.). The LLVM backend is not officially supported by FP and doesn't support all platforms as far as I know; and unfortunately micro benchmarks are usually not representative for the daily overall performance of an application; the Are-we-fast-yet benchmark suite would be better in this regard.

Anyway, I would be interested in why FP benchmarked as fast as C++ in the past, but no longer today.
How do you deal with the prompt iteration phase and how coupled is that to the DAG phase? I've only worked on a few proofs of concept in this phase, but a thing I struggled with was a strong desire to allow non technical colleagues to mess with the prompts. It wasn't clear to me how much the prompts need to evolve in tandem with the the DAG and how much they can exist separately
Mostly they make themselves out of air, which is even better.

The dirt has necessary trace elements, but the carbon? That's all from CO2.
Geopolitics affect all of us, particularly the "small" countries (and they matter too, because everybody deserves to live in security and free of oppression from neighboring states). Whether you want to recognize it or not. The fact that you want to paint it as propaganda just shows how ignorant you are about the world. Read a book or two instead of wasting our time.
I agree that triple equals is an abomination. It's one of the many things ensuring I use JavaScript as little as possible.
And another one is blooming now in the Amazon Spheres in Seattle: https://www.instagram.com/p/CuFbYoVPuzG/?igshid=NTc4MTIwNjQ2...
> And yet in both these cases we at least _try_ to come up with quantifiable results of our observations.

We do in software development too. I said that twice already. It's just almost impossible to actually find out concrete rules that way.

> without them we are not really capable of coming up with any meaningful conclusions.

Nonsense. Scientific experiment is NOT the only way to learn about the world. It is the best way where practical, but it simply isn't always practical.

Think about something like UBI. Using scientific experiments to determine if UBI works you would have to take N countries, have half of them implement UBI for 100 years, and half not. Good luck.

> Because it does not provide any meaningful insight into what should or should not be done to improve it.

It does. Code smell is usually used to describe code that is suspicious or uses practices that are known to be highly unreliable (e.g. regex). The thing to do is to either rewrite it in a more robust way or if you can't do that for some reason, to add a lot of testing.
Given edge is just a chromium wrapper, why avoid it? Just ecosystem issues? (Password managers, etc?)
> Somebody wants to see your posts

Unless you buy an invite code on eBay.
> Maybe one day we will have a Pascal compiler that can enforce that functions are side-effect free...

Pure functions are actually one of the WIP functionality in Free Pascal :-). AFAIK the ultimate goal is to have the compiler evaluate them at compile time where possible.
This is the Objectivism that was founded by Ayn Rand?

It was quite a force during her life.

One of the most notable adherents was Alan Greenspan, a former chairman of the Federal Reserve.
I didn't say anything like that, though I will note we still have the expression wage slave.

There was also a practice of indentured servitude which people seem to see as basically slavery but was more like a loan in an era where money per se was hard to get hold of. In the absence of the ability to borrow money to pay a cost you couldn't cover, you signed over your future labor for a set period.

It was somewhat common for a time for people to immigrate to the US colonies via indentured servitude as a means to pay their passage -- cover the price of the boat to get here -- because they had no other means to pay it.

Similarly, there was an expression of "working off a dead horse" for people who joined the British Navy or similar to pay off a debt. It referred to both paying the debt ("dead horse") and the lousy hard tack they fed you while you had no money for niceties like food you preferred to eat.

For that matter, to this day, joining the military is more like being "owned" than it is like "having a job." So the clear bright line on slavery vs not slavery that many people want to imagine exists doesn't actually exist.
Yes, but it only helps so much when the actual cooling solution is as unsuitable as it is.
How is the onboarding process? Are people logging into their instagram and then see some big new button "Threads is here, click to try out!", or along these lines?

Because if I can trust my very quick internet search, instagram has 500 million DAU. So this means 9 out of 10 are not interested in threads?
Mallery looks like somebody in their 70ies, i guess we'll have to wait for the next deceased estate auction?

I know it's not pretty, but it's an option.
> Range Types! Love'em! You need a number between 0 and 360? You can easily express that in Pascal's type system.

I did not know those existed that early.

> Array indexing is your choice. Start at 0? Start at 1? Start at 100? It's up to you.

Reminds me again of GNU Guile's arrays, which also allow you to specify what index an array starts with. Very flexible.
Nonprofit Wants to Catapult Material from Incoming Asteroids to Protect Earth
There must be several at each exhibition so there's a bloom every 1-2 years.
You don't think (some) millionaires or billionaires cheat?
Can't you just "unflag"? Why would an undoable action require confirmation?
Every so often a thread pops up about Turbo Pascal and I'm astonished as to how nice an IDE you could fit onto a 64K CP/M system. (See also comments above/below.)
Man I wish one would bloom in Ontario so I could go see it. Very cool!
A new fiction sub-genre is born: Efficient-Market Theory Teen Romance.
> Nobody was really concerned about the Python code

This was the top comment when I added my original comment:

"Fundamentally every single piece of python code ever written will have to stop and now worry about potential race conditions."

https://news.ycombinator.com/item?id=36644114

Most of the other comments here at the time were similarly from people who clearly hadn't read the PEP saying it would break all existing Python code.

So I did my best to represent the backwards compatibility section of the PEP. I told folks to go read it and linked to it. I cited the portion relevant to Python code. There were too many bullet points for the C-API, so I summarized it with the disclaimer "Updating C-API extensions is where the majority of work will be if the PEP is accepted."

I also read the PEP discussion thread where there was disagreement from Python maintainers on how much work would be required of C extension authors, but most of the folks stating it would be a lot of work hadn't seemed to actually have tried to port anything to the new API. Meanwhile Sam had asserted that:

> Most C API extensions don’t require any changes, and for those that do require changes, the changes are small. For example, for “nogil” Python I’m providing binary wheels for ~35 extensions that are slow or difficult to build from source and only about seven projects required code changes (PyTorch, pybind11, Cython, numpy, scikit-learn, viztracer, pyo3). For four of those projects, the code changes have already been contributed and adopted upstream. For comparison, many of those same projects also frequently require changes to support minor releases of CPython.

I don't think I've misrepresented anything.

> No-GIL ain't done until all the C extensions run, especially NumPy.

Sam already got NumPy working without the gil:

https://youtu.be/9OOJcTp8dqE?t=1958
Anybody who is working willingly and is aware of the job market rates.
That sounds like you want armoured panels; As I understand it, the degradation being discussed here is from the light itself.
You do make good points, I suppose all of the acquisitions they have made over the past number of years add up, in addition to entertaining foolish dead ends like blockchain integration and essentially anything Ryan X Cohen had to say.

That said Elon Musk has not acquired reddit, and thus did not cut it to the bone similarly to Twitter. Had that happened perhaps it would be down somewhere around 500 staff. Which still feels subjectively about sufficient for what the product does.

But I suppose one of the enduring realities of tech hiring, or any corporate hiring is that above a certain size people's careers are not advanced by managing small, tightly run and efficient teams but rather by sitting atop as bloated a pyramidal hierarchy as possible, with a budget to match.