skysight-inc/HackerNews huggingface dataset:
Well it does require a vented pipe through your roof, and the people subcontracted for installing kitchen cabinetry and appliances are often coming in long after all the plumbing, HVAC, and roofing guys are gone who are going to have the ladders, be in the ceiling, and have the tar or vent pipe on hand needed to install a roof vent, and it is more of a pain if the stove isn't centered between joists and rafter beams.

Now none of that is a great excuse, it isn't that hard to do, but with how most buildings are subcontracted out piece by piece for every little part, and how some things like the kitchen appliance location is not super well finalized until cabinetry is actually installed, nobody before the cabinetry wants to take the responsibility of is positioning and the cabinetry guys are not expected or expecting to install such features.

It is time, expense, and the liability of punching a hole in the roof before someone decides they want the stove on the other side of the room, or coming in months afterwards and punching a hole in a brand new roof as someone not the roofer. If everything is well established in the blueprints and nobody is going to be changing their mind, or if one guy/company is doing 90% of the work themselves its not a problem. But often things are changed kitchen wise after most of the house is built or is done by 10+ different contractors, none of which want to be held responsible later on for it. Often one company does the structure, another the roof, another the siding, another the drywall, another the plumbing, another the electrical, another hvac, another cabinetry, etc, and only the plumbing and furnace vents are going to be putting holes in the roof which happens long before any finished features like the cabinetry is put in.
LLM auto-complete is good — it suggests more of what I was going to type, and correctly (or close enough) often enough that it’s useful. Especially in the boilerplate-y languages/code I have to use for $dayjob.

Search has been neutral. For finding little facts it’s been about the same as regular search. When digging in, I want comprehensive, dense, reasonably well-written reference documentation. That’s not exactly wide-spread, but LLMs don’t provide this either.

Chat-driven generates too much buggy/incomplete code to be useful, and the chat interface is seriously clunky.
This comment is telling about your values when it comes to both cars and buses.

Consider some introspection.
No evidence yet. I guess we might find out more in the next 4 years when it is investigated properly.

If you want to put elections beyond doubt and make everyone accept the result you should have voter ID and paper ballots. The public holiday idea is probably not a bad one.
Nice case study of how far LLMs are from AGI. I gave it to o1 instead of 4o, testing whether the thinking tokens help. Alas, they don't. It never came up with the "obvious" "skip-if-between" improvement over the naive algorithm.

The skipping was obvious to me at first glance, before I read the full blog post. So o1 failing it even after prodding for algorithmic improvements is a sign it's not that smart (in an AGI sense).

Note: the initial problem statement is ambiguous. Instead of saying "Given a list of random integers" - which the LLM somewhat reasonably interpreted as parsing from stain - you should phrase it as "Generate a list of random integers and then..."

Link to ChatGPT session: https://chatgpt.com/share/677d0665-3f9c-8005-aaf8-662dec923d...
I’d like to see that too, but the way to get citizens with the qualities you desire is, imo, infrastructural and not best done via a filter. Currently, we churn people out of high schools half literate then feed them profit-driven slop on their tvs and phones, then we expect them to somehow make cogent political decisions. I don’t know this for a fact, but my intuition is that if you improved the relevant infrastructure you’d produce a majority population capable of pretty solid political thought, where your solutions more resemble band-aids with undemocratic side-effects. It would be harmless if you did it perfectly, but any real-world anti-voter filter or social pressure would inevitably be used for undesirable, irrational ends.
For a sector first, AI vulnerability patching.

This comes from a Greek startup called Ecsypno.

Codename SCNR is a DAST solution which, when coupled with the Introspector server-side middleware and the OpenAI platform for data analysis, can provide effective and actionable vulnerability patching, along with guidance related to exploitation, dissection and general remediation of each identified vulnerability.

https://ecsypno.com
> Cars blocking intersections and/or sidewalks can easily be solved with automated traffic fines

Rush hour traffic is so gridlocked that cars often can’t know if they will clear a light cycle, so fining would effectively just reduce to a stochastic congestion tax.

NYC does have some dedicated bus lanes, but adding more means reallocating more space from cars which is a political no-go without reducing the number of cars first. That’s what congestion pricing aims to do.
I don't accuse FB.

I'm fascinated by the downfall of the United States into Banana rebublic way to do business.
And whatever was in Win95 was in Motif, right? Come on it was distinctively superior when it came out.
I shared this mostly because I really enjoyed reading about the process there
as long as human has written self-dialogue and introspection into text that LLM can be trained with, it is expected LLM will produce similar content, this is not much different from any other text
There are many LLMs that have tools (function calling) available in their API. Some time ago, I was building AI agent that has profiler connected by function calling, and it works exactly as you described. First produce the code, then call profiler, and last step was to optimize code.
> Buying a house is a very expensive and slow way to build wealth.

Buying a second house may be questionable, but the first house has so many tax and leverage advantages as well as "hedging" against the volatile rental market. Especially when Americans can get 30 year fixed mortgages!

> but they can give their children a better life. it's certainly not easy, but it's possible. The working class, however (not the most poor), routinely chooses to put their money into flat screen tvs

What if they want to give themselves a better life, rather than just their children?

> flat screen tvs

All TVs are flatscreen now. This is a "tell" that somebody is mentally copy-pasting a rant from the early 2000s.
Google is forming a new team to build AI that can simulate the physical world
Computer Architecture – Michael Flynn (2007)
A nice succinct overview of Computer Architecture. Also checkout Michael Flynn's books;

1) Computer Architecture: Pipelined and Parallel Processor Design.

2) Computer System Design: System-on-Chip coauthored with Wayne Luk.
I do use Music.app like this already, and while it's definitely okay-ish due to lack of alternatives, it's still lacking a lot.

It has also been stagnating for at least 10 years without any changes - apart from making the UI less consistent with the rest of the OS (e.g. "Reveal in Finder" being ⇧⌘R instead of ⌘R everywhere else [0], or the dialog asking whether I really want to edit metadata for several files defaulting to "Cancel" on hitting "Enter", while "OK" is displayed as the default button).

I agree that it's better than the rest, but that's easy :) It's hard for any 3rd party app to compete, as us nerds with large, well curated libraries are a determined and dedicated bunch, but still a quite small market.

[0] I'm aware that this is a relic of the short-lived iTunes Ping network, where ⌘R did something there
In terms of implementation, you can view parametricity as meaning that within the body of a function with a generic type, the only operations that can be applied to values of that type are also arguments to that function.

This means you cannot write

fn sort<A>(elts: Vec<A>): Vec<A>

because you cannot compare values of type A within the implementation of sort with this definition. You can write

fn sort<A>(elts: Vec<A>, lessThan: (A, A) -> Bool): Vec<A>

because a comparison function is now a parameter to sort.

This helps both the programmer and the compiler. The practical upshot is that functions are modular: they specify everything they require. It follows from this that if you can compile a call to a function there is a subset of errors that cannot occur.

In a language without parametricity, functions can work with only a subset of possible calls. If we take the first definition of sort, it means a call to sort could fail at compile-time, or worse, at run-time, because the body of the function doesn't have a case that knows how to compare elements of that particular type. This leads to a language that is full of special cases and arbitrary decisions.

Javascript / Typescript is an example of a language without parametricity. sort in Javascript has what are, to me, insane semantics: converting values to strings and comparing them lexicographically. (See https://developer.mozilla.org/en-US/docs/Web/JavaScript/Refe...) This in turn can lead to amazing bugs, which are only prevented by the programmer remembering to do the right thing. Remembering to do the right thing is fine in the small but it doesn't scale.

Breaking parametricity definitely has uses. The question becomes one about the tradeoffs one makes. That's why I'd rather have a discussion about those tradeoffs than just "constime good" or "parametricity good". Better yet are neat ideas that capture the good parts of both. (E.g. type classes / implicit parameters reduce the notational overhead of calling functions with constrained generic types, but this bring their own tradeoffs around modularity and coherence.)
LisaWrite predates MacWrite by about one year.
"Always" is massive overstatement. If you was a woman, your only way up was if you found rich guy to marry you. It is not that women did not actually worked, but they had only lower paid jobs with no possibility of promotion available. If you was black, your abilities to go up were obviously severely limited.

Even for whites, south had very stable social hierarchy - you had a place where you was meant to stay at. It was resembling aristocratic setup rather then actual free for all capitalism. Civil war changed that by a lot and opened mobility options that were not there before.
This, but why french fry them? A modestly-skilled cook can prepare potatoes in plenty of different ways. Many of which are easier (at small scale) than french frying.
Show HN: TonboLite – Scale SQLite with S3, Minimize ETL
Hi! I am Tzu and the team from Tonbo here.

TonboLite: https://github.com/tonbo-io/tonbolite is a SQLite extension based on Tonbo: https://github.com/tonbo-io/tonbo. It enables SQLite to create tables suitable for analytical processing on target platforms like WebAssembly in browser and efficiently write data. The data in the tables is organized as tiered Apache Parquet format files, stored on demand either on local disks (using OPFS as native I/O) or object storage services (such as S3). You can use it by creating virtual tables in regular SQLite.

TonboLite started with the exploration of Tonbo application. The goal of Tonbo is to write data for analytical processing (like log processing, metrics monitoring, or text search) to unlimited remote storage in SQLite or PostgreSQL.

We tried SQLite as it is the most popular transactional database for the edge. One of the most requested improvements for SQLite is better support for append-only writes (e.g., logs, time-series data), which are common in analytical data. Append-only writes present two main challenges for SQLite:
1. SQLite3 uses B-Trees as its storage structure. B-Trees perform well for random access but are not optimized for write efficiency in append-only scenarios like log-structured databases.
2. Append-only data often involves large write volumes, making it difficult to store extensive historical data in a single-machine environment long-term.
However, Tonbo is well-suited to address these two issues:
1. Tonbo organizes Parquet files into an LSM Tree, a database structure highly optimized for concurrent append-only writes.
2. Tonbo supports gradually writing historical files in the background to horizontally scalable storage services (such as S3).

This project is still in the very early stages. If you are interested in the project's goals and future developments, welcome to join the discussion: https://discord.gg/j27XVFVmJM. We are happy to answer any questions you may have.
I don't think you've adapted to the level of motivated reasoning in current politics: if people want to declare the election illegitimate, they will do so, and they can make up claims about how it's illegitimate faster than you can debunk them.
Pressure mounts on EU to use legal weapons against Musk's interference
I wonder if part of the "no big deal" view comes from the difference between tech companies as they're most visible now - 'move fast and break things' - versus all the other industries that rely on computers.

It's easy to imagine a lot of tech companies today taking a 'fix on failure' approach, because they're built on the idea that you deploy changes quickly, so they can accept a higher risk of faults. It's harder to make changes in banks, airlines & power stations, thus they're more risk averse, and far more likely to invest resources in the kind of effort the author describes to find & fix issues in advance.
The guardian article is not academia.
how does it handle front end frameworks?
> What I haven't seen at a quick glance is the ability to link to any place in the document (sink) from withing the document itself (source).

You can create an anchor:

(my-anchor)=

...and then link to it:

[see here](#my-anchor)

(https://mystmd.org/guide/cross-references)
Kudoa for this, but it feels like there should be a more direct way? I mean, he first invented basically a general-purpose execution platform. That in itself is cool, but the fact that it then can execute a chess program is not actually that surprising.

What about directly encoding the rules of the game plus some basic strategy?
This is an extremely poor analogy, and it doesn't change the objective fact that mail-in voting is provably, measurably secure.
But they are already rich, so the only thing they've been concentrating on is wealth preservation of their own class. To what consequences is quite nicely laid out by the blog post by Jeff.
That kind of thing happens to people that do lock their doors all the time. So clearly, the usage of locks and lack thereof are not the issue.
I fear not the man who plays chess with 84,688 regular expressions, but I fear the man who plays chess with one regular expression.
I used to do that in Python with the numba jit. Write Python code that generates a Python code that then gets compiled.

It's a fragile horrible mess, and the need to do this was a major reason for me to switch away from Python. It's a bit like asking why we don't just pass all arguments to functions as strings. Yeah, people write stringly typed code, but it should rarely be necessary, and your language should provide means to avoid it.
20 years ago we were using the likes of PHP4 or Classic ASP or perhaps Perl for server-side languages. Possibly the early days of VB.NET (ASP.NET) being a thing.

Some sites created 20 years ago were still not making use of AJAX, either. If they were, in very specific ways. It is more likely to be using IFRAMEs back then to achieve partial refresh.

Today, the difference is that we still apply "the old ways" building websites but with modern languages + htmx. This is the difference.

When I look at websites I have created or inherited, all I see if bloat crossing between code written on the server-side... and code on the client-side. The further back in time I go the more it was server-side but, as mentioned, begin to lack the AJAX side of it.

Personally, I prefer to be back to the vast majority being server-side code. Sure, the amount of Views (and Partial Views) on my backend codebase is much higher than before but it is still organised code and testable without even using a browser. I then let htmx do the magic onto the webpage.

I have success stories but I also mock some things I did in the past but with htmx and it is very promising!

Sure I am still using Javascript but it is not ready about the data anymore - mostly additional libraries used for better drop down features or other cosmetics/UI things.

EDIT - ADDED:
It is worth noting that the last 20 years, despite various javascript frameworks from React to Angular to knockout to jQuery to MooTools, etc..... we also had Flash and Silverlight and other things. We also have HTML5, CSS3, etc.

I have tried many things in the last 20 years. I also accept that htmx, while my goto choice for todays web development... is not going to be the best choice in my future.

Web Assembly (WASM) is going to get better and more popular. It will not be about HTML coding like today or even javascript in many ways. They will still be there, of course.

(Javascript will always be there but its use will get smaller and smaller)
What do you mean? There is no evidence at all that Trump won by voter fraud.
We have systematically annihilated the traditional alternative sources of community that would put people in contact with local, on-the-ground politics. Individuals, left isolated, often end up participating in a bastardized facade of politics built on media consumption. If you want to improve this you have to address the systems creating the isolation.

If it’s not people who study policy as a hobby, then who ought to be voting?
I can exercise at home, I moved outside the city and I have a large patio so I get sun and fresh air, I just only leave the house less than once a week when there's something I can't do from home. My friends all moved to different countries years ago so I only see them online anyway. I do yearly check ups, I'm actually in much better health than when I lived in the city and went outside several times a day.
>tinybox

>the size of several ATX desktops
Here are more details about the movie if you are curious:

- https://hollymotion.com/en/flow_cinema_blender_en/

- https://www.youtube.com/watch?v=yw-a7buP4KA

Amazing movie by the way. It's been in cinemas here in Latvia for 5 months already and been sold out ever since.
This is the "you can already build such a system yourself quite trivially by getting an FTP account, mounting it locally with curlftpfs, and then using SVN or CVS on the mounted filesystem" comment, but about potatoes.
The point is exactly that the "concept" of what the template should do is informal and a careful, detailed specification in a far more expressive language than vintage C++ would be needed to elicit good compilation errors from something like vector<bool>.

Proper parametricity is only a starting point: types that specify alignment, equality and lifetimes would be needed to make it useful.
I'll happily admit that there is (to me) no reason to believe that humans can do things that a Turing machine could not, or that we are magically exempt from stuff like the halting theorem or have special insights in NP-complete problems. I am only arguing that we are unarguably more powerful than FSMs, and with some pen and paper (or perhaps an endless string of tape...) we are not as limited by our working memory size. But we are very slow.
If evidence did exist, would CNN rush to report it? Would they bury it until they were forced to report on it? If they did report on it, would they minimize it with spin?
Blackshark AI | Software Engineer & Senior DevOps Engineers | Full-time | Austria or Remote EU | VISA sponsorship available

Satellite and drone imagery access is on the rise, and traditional image processing methods are struggling to keep up. Our scalable AI quickly extracts global features, providing real-time, on-demand geospatial insights with impressive speed and accuracy. We are turning months of manual work into mere minutes, and with much better results. We work with customers from various domains, from intelligence and defence, local and federal governments, to small and large enterprise enterprises, which requires us to have a lot of flexibility on how we deploy and maintain our services.

We kicked off in 2020 and have secured $35 million in series A funding from a lineup of top US and European investors, among which Microsoft M12, Point72 Ventures, Maxar, In-Q-Tel, SAFRAN, and ISAI/Capgemini.

Tech Stack:

Python

Fast API

Postgres

Redis

GDAL

Linux

AWS & Azure

Azure DevOps

Kubernetes & Docker

Terraform

Prometheus & Grafana

ArgoCD & Helm

Elasticsearch & Kibana

Roles:

Software Engineer: https://blackshark.sprad.io/0VqJ3

Senior DevOps Engineer: https://blackshark.sprad.io/AahTU

Senior DevOps Engineer: https://blackshark.sprad.io/26y4f

or reach out to HM at: 'eivanov@' + username[:-2] + '.' + username[-2:].lower()
I Agree. I tried briefly Zig and quickly gave up because, as someone used to Rust, the compiler wasn't helping me find those issues at compile time. I know that Zig doesn't make those promises, but for me, it's a deal breaker, so I suppose Zig isn't the language for me.

On the other hand, I do like the concept of comptime vs Rust macros.
I suspect it depends upon your niche/field, there are certainly times when I've done assembly coding for production. Although I admit these days most of my assembly-coding is for retro-uses.
> There's a titanic market with people wanting some uncensored local LLM/image/video generation model.

No. There's already too much porn on the internet, and AI porn is cringe and will get old very fast.
> throw out $120M of raw potatoes they overbought

This is putting all those efforts to reduce domestic food waste into perspective.

> $80M of flawed french fries .. which they had to eat

I think it would take me a long time to eat $80m of french fries.

> Cartels may work for luxury items like diamonds and cocaine, but they're inefficient

And now a serious point: people have been complaining about food price inflation, and blaming the usual suspects of fiat money and Democrats, but .. what if it was actually the people making the food putting up the prices? Doesn't it often turn out that the secret ingredient is in fact some kind of crime?
Gotta double all the road widths then. Doesn't leave room for any buildings in Manhattan, but will ease the congestion.
Full stack polyglot dev here, the relentless pressure to use Sveltekit that has utterly destroyed plain Svelte docs, IMO, coupled with the koolaid kult around v5 is why i finally ditched svelte.

I have backend solutions and existing databases and existing backends. I would never consider a Js backend in a production app to begin with, despite the benefits an isomorphic approach offers.
I dislike when physical actual boundaries in code execution contexts are obfuscated, for one...

But not everyone is building SPAs, and my dev server is my actual backend, thanks
Investigate anything hard enough and it’ll tell you whatever you want to hear. Hard to imagine any result to that investigation that would be universally accepted.

Why not apply a little bit of technology to the problem so we can verify our vote was counted, and that only legitimate votes were counted?
This ELIZA link should speak for itself:

https://psych.fullerton.edu/mbirnbaum/psych101/eliza.htm
Yayoi Kusama and the Dialectics of Art, Branding, and Ephemerality