skysight-inc/HackerNews huggingface dataset:
In corporate world, everything must be tame and beige. Conflict or differences of opinion are avoided to focus on the areas where everyone agrees. It’s exhausting sometimes to try and change methodologies. Introducing new technology can cause so much headache that many passive leaders just shun it in favor of keeping the peace.
SK does a lot of the same things that Langhain does at a high level.

The most useful bits for us are prompt templating[0], "inlining" some functions like `recall` into the text of the prompt [1], and service container [2] (useful if you are using multiple LLM services and models for different types of prompts/flows).

It has other useful abstractions and you can see the full list of examples here:

- C#: https://github.com/microsoft/semantic-kernel/tree/main/dotne...

- python: https://github.com/microsoft/semantic-kernel/tree/main/pytho...

---

[0] https://github.com/microsoft/semantic-kernel/blob/main/dotne...

[1] https://github.com/microsoft/semantic-kernel/blob/main/dotne...

[2] https://github.com/microsoft/semantic-kernel/blob/main/dotne...
The concept of "writing COBOL in any language" does not refer to the quality of the code, only the shape of it. You can tell a coder's core language by a couple of properties, such as seeing how their code is laid out on the page or how they use variables. For example, Fortran users have and do write very clean code, especially in the scientific community. However, you can always tell who has written Fortran because loop variables are almost always i,j,k,l

The other such patterns include where you put block markers (braces, begin/end, if/fi), naming conventions for variables. You can always tell who's a Java programmer because they can only fit a couple of funcitno/variable names per line. But as I joke about Java and naming, that's another giveaway. How do people name variables, methods etc.

You're right, though. It's also not hard to write bad code in any language stylistically consistent with the language and its community. I've seen so much bad C/C++ that was perfectly organized and structured C code.
You’re in luck! As far as I can tell from the article, Starlink doesn’t have any plans to make you buy/subscribe by force.
Due to the high variance of rotational speed I don't think most wind turbines are directly AC connected to the grid. From what I've read they often go AC -> DC -> AC so they can actually frequency match reliably.
Sure, here are a couple of examples of ECP violations removing ambiguities.

1a. How often did you tell John that he should take out the trash?

b. How often did you tell John why he should take out the trash?

(1a) can either be a question about frequency of telling or frequency of trash
disposal, whereas (1b) can only be a question about frequency of telling. I asked
GPT-4 to explain how each sentence was ambiguous and it seemed to entirely miss the
embedded readings (the ones about frequency of trash disposal) for
both sentences, while finding some other ambiguities that were spurious
(such as suggesting erroneously that (1b) could be a question about how many
different reasons you gave John in a single instance).

Similarly, (2a) has both a de re and a de dicto reading, whereas (2b) has
only a de re reading:

2a. How many books did Bill say that Mary should read?

b. How many books did Bill explain why Mary should read?

That is, (2a) can be asked either in a scenario where Bill has said "read 10 books!" or
in a scenario where Bill has said "read Book A, Book B and Book C!" without
necessarily counting the books himself. (2b), on the other hand, only
has the second kind of interpretation. I've had mixed results with GPT-4 in this case (depending on exact choices of vocabulary, etc.), but it certainly makes some mistakes. For example, it says that (2b) can mean "John explained the reason for a certain number of books that Mary bought".

As the sibling comment points out, it would not show very much if
GTP-4 did correctly determine these ambiguities as it has had access to much more data
than a child. You would also need to show that the same statistical techniques
would work when applied to a realistic dataset.
I’m sure they are thinking of certain colleagues to expose. That is why they passed the law. The kinds that could be threatened into compliance with rank and file.

And future congressmen too. Jeffrey Epstein was known for playing with this kind of power.
> Even the most stupid people can usually ask questions and correct their answers. LLMs are incapable of that. They can regurgitate data and spew a lot of generated bullshit, some of which is correct. Doesn't make them intelligent.

The way the current interface for most models works can result in this kind of output, the quality of the output - not even in the latests models - doesn't necessarily reflects the fidelity of the world model inside the LLM nor the level of insight it can have about a given topic ("what is the etymology of the word cat").

The current usual approach is "one shot", you've got one shot at the prompt, then return your output, no seconds thoughts allowed, no recursion at all. I think this could be a trade-off to get the cheapest most feasible good answer, mostly because the models get to output reasonably good answers most of the time. But then you get a percentage of hallucinations and made up stuff.

That kind of output could be - in a lab - fully absent actually. Did you you notice that the prompt interfaces never gives and empty or half-empty answer? "I don't know", "I don't know for sure", "I kinda know, but it's probably a bit shaky answer", or "I could answer this, but I'd need to google some additional data before", etc.

There's another one, almost never, you get to be asked back by the model, but the models can actually chat with you about complex topics related to your prompt. It's obvious when you're chatting with some chatbot, but not that obvious when you're asking it for a given answer for a complex topic.

In a lab, with recursion enabled, the models could get the true answers probably most of the time, including the fabulous "I don't know". And they could get the chance to ask back as an allowed answer, asking for additional human input, relaying on a live RHLF right there (it's quite technically feasible to achieve, not economically sound if you have a public prompt GUI facing the whole planet inputs).

but it wouldn't make much economic sense to make public a prompt interface like that.

I think it could also have a really heavy impact in the public opinion if they get to see a model that never makes a mistake, because it can answer "I don't know" or can ask you back to get some extra details about your prompt, so there you have another reason to do not make prompts that way.
Sure, but web apps are downloaded in their entirety when they’re opened. A 50mb website would be horrible. Could be expensive to host, too.

And, like electron, the size is almost entirely unnecessary. Even in the browser you can make quake in 13kb:

https://js13kgames.com/entries/q1k3
Please don't write "thanks to a generous grant from the NLnet foundation under the NGI Zero Core program". The most of money comes from the European Commission through the Horizon Europe / NGI funding schemes. NLNet is mainly the operator of the call.
Quake was the first game to make heavy usage of the FPU and thus require a Pentium. You could run it on a 486 DX, but the performance would be atrocious.
I don't think you understand what "speech" and "press" are if you argue that the algorithm itself, or the act of running a social network, is protected speech.

In the case of the FCC, there's a clear difference between a radio signal, and the message it carries.

If you think the FCC is unconstitutional, I don't think you are able to make an argument with merit regarding social media.
Of course. But some idiots will fall for the marketing and buy it and end up dead.
Thank you for posting. This is one of my projects. I was wondering why all the subscribers joined today.
It's a reasonably valid comparison if you equate Java with something like SpringBoot.
> Do they have the best ideas or did they master the politics necessary to push their ideas up the stack and everybody else doesn't care enough?

Exactly: I had a very similar experience in my previous work.

A single guy was super-effective at pushing the technology he was strong in, and preventing anything else from reaching even development environment.

He was effectively a 10x because no other colleague was given an actual chance of shining.
OpenAI had a real issue with making (for their time) great models but streching their rollout over months. They gave access to press and some twitter users, everyone else had to apply for their use case only to be put on the waitlist. That completely killed any momentum.

The first version of ChatGPT wasn't a huge leap from simulating chat with instruction-tuned GPT 3.5, the real innovation was scaling it to the point where they could give the world immediate and free access. That built the hype, and that success allowed them to make future ChatGPT versions a lot better than the instruction-tuned models ever were.
Because writing a browser in ATS or Frama-C is not possible. Or writing it in Coq and exporting it to ocaml and friends.
Ada can be used but its mediocre at best and sucks at places where frama-C shines. A lot of pointer stuff that is easier to prove in ATS or frama-C is impossible in Ada [and by extension of that, rust]
TLA+ can be used in mix with C++ just like how 90% of safety critical software is written but the development speed is very slow for it.
That leaves Rust, which is a...mediocre language if you really care about safety. It has no idea of linear types that ATS has and cannot carry embedded proofs like Frama-C.
Plus the culture regarding safety critical software in C/C++ is humongous and tbh fairly amazing.
I cannot remember exactly but there are many projects targeting C++ for safety purposes, even the people behind frama-C are creating something called as frama-Clang to allow writing safety critical code in C++ backed by proofs.

Are there any other languages that im missing?
If ATS has a prettier syntax, it'd be my candidate for writing a web browser in.
If the world had more stuck up prigs, billion dollar corporations wouldn’t be using customers to beta test their lethal robots on public streets.

Here’s to prigs!
A "sweded" Lunar Lander with a moon that looks like a prop from an elementary school production of The Little Prince.

I love it.

Now, let me gently suggest they put the lander closer to the poles so I can see the distance between the lander and the "moon" more clearly.

Also, put a Go-Pro on the lander and give me a touchdown display.
Have you thought about support for the wyoming protocol? That would make it pretty much plug&play with home assistant.
You are saying that after having experienced all the subsequent versions. GPT-2 was fairly good, not impressive but fairly good. People were using for all sorts of stuff for the fun of it. The GPT 3 versions were really impressive and had everyone here super excited
That's a potentially reasonable argument, however there are a couple of issues mapping from the physical precedent to the digital world. In the physical world you would show your ID to the store clerk, or (more likely) not even be asked for ID at all if you were sufficiently old-looking.

In the digital world, everyone has to show proof of age, as there's no quick sanity check. Further, none of these states have a privacy preserving way of demonstrating age. All of them require either passing payment details or identity details to an intermediary or the website. The recipient of the identity then gets to hold onto whatever details you provided for the rest of time, and may use them for stuff like ad targeting. This is in an industry that is well-reputed for being scammy.
Because investing in an overly expensive, harmful and slow building solution makes so much sense when you need a timely scalable solution. Use whatever renewable solution matches your geography. It will be cheaper, significant faster usable, and usable scales up much better, especially as you can build some renewables even in dense regions, where nuclear plants are no real option.
Could be that Tesla is reaching market saturation - nearly everyone that wants one, now has one. I just bought out the lease on my Model X and previously owned a Model S prior to that. Both are great cars.
IIRC a member country has to declare it.
Ask HN: Is anyone using alternative open email protocols like JMAP?
No one wants to give their ID card and real name for despicable things like this.

Even the show people in the industry cover their faces
This is perhaps my least favorite reasoning: you're holding it wrong. There will always be organization issues. Conways Law exists. The tooling matters because it encourages or is ergonomic in certain ways.

I hear this in my circles around Python which encourages spaghetti code and reaching into private parts of other's code. Yes, you can prevent this with better libs/modules, solid leadership and a steadfast resolve with adequate tooling. Or you can use a tool that makes spaghetti harder to write and pick something like .net or Go.
If you want to run a company that provides cybersecurity services? Yes.

Or stay whenever you are and sell you services to markets of "friendly countries" like North Korea.
One thing all the crypto coins show is that a central authority has its uses. What if you want to fix a bug in the protocol or upgrade it? What if due to some mistake you are identified as underage when you are over, or over when you are underage? There's nobody to reach out to.

A zero-trust protocol or computer system is all well and good, for some uses at least. A zero-trust society will not work. Or at least it will be significantly worse than societies with trust.
I'd even go further and say that nature generally doesn't torture things for amusement the way the worst humans have done. Usually "nature is cruel and cold" underpins a "kind" humanist worldview that justifies factory farming, pesticides, lab animal testing, and mass murder of any inconvenient biological lifeform. Humanists pretend they aren't part of the same system of biological life that they hack at and injure at every turn and will to the end of their days deny the runaway extinction event they've kicked off and may also sweep them off the planet too. Because nature could never been cruel and cold to them and the system could never system them out of existence. They believe humans are special and the entire universe was created for them, or alternatively, the entire universe is at odds with their existence and it's a fight to the death. It's an absurd neurosis. We're incredibly lucky to be alive in a biosphere with so many food sources and so many lifeforms happy to eat our shit.
I suspect they’re saying elsewhere on the internet. Matters for obvious reasons.
I feel like AI is going to be all those things on steroids.
> Note that despite that study, Windows and XBox teams are quite found of their C and C++...

And we all know how secure the average user's Windows computer is.

And Windows' security is so good that it's Windows who's powering tens of billions of servers, smartphones, IoT, appliances, routers etc. throughout the world? Oh, wait, no... These are all running Linux.

And the uptime. Let's not forget the uptime with patch tuesday.

Windows does not strike me as the ecosystem we should strive to immitate.
why are polygons preferred over triangles?
SN 1572
> The problem is convining anyone to write a website in this

Could choose a subset that lets certain sites that do not get on everybody's nerves still run fine.

For the remainder, people who need it can run an extension that runs a Chromium converting what's possible to the target subset.
That is probably the goal.

We need only look at... (checks notes) every other profit driven company (thats all of them) to see how this will go when quarterly earnings are flat and/or falling
Used to provide ecommerce solutions, from purchase through to despatch and beyond.

A frequently asked for feature was box-packing - clients would complain that their packers would chuck something tiny in a huge box, use loads of packaging, and still manage to have the thing damaged on arrival due to shaking about in there.

So we implemented the feature. It worked great. Clients bought it.

Literally nobody used it, as humans inevitably decide they know better. Instead, we just ended up with clients reporting “the boxer told our packer to put a stick of gum in a 1m2 palletised delivery!”, as that was what the packer would report, when it had done no such thing, so all we had done was move the point of blame from minimum wage warehouse workers to ourselves.

We withdrew the feature.
This seems to be a Trojan horse for even further "personalizing" (de-anonymizing) the internet.

If one site can require FaceID (or any sort of attestation) then either some, all, or arbitrary sites can require the same.

I'm in the same boat... banking would be nice to support "non-anonymously", but why are they chasing against porn sites vs finance sites?

It's such a slippery slope imagining requiring "age verification" for dating sites/apps, then same-same for access to email, then it's only going to be news sites that don't require age verification.

(Whoops! Except NYT, WaPo, and the rest all have paywalls, and there's Fox ~News~ propaganda waiting in the wings to be "free, but needs your identity")

Slippery slippery slopes here, and it must be intentional.
No one is putting my name and date of birth into any database when I am buying alcohol.
I literally cannot remember the last time I had to show proof of age to buy tobacco or alcohol. I'm middle aged - mid 40s, in fact - and places don't ask.

If I order alcohol, the reason I'm showing ID is to prove that yes, it was me that ordered it instead of someone else (and I'm showing my ID at the liquor store).

I've only bought porn twice - once a video and once a magazine full of naked men. I didn't get carded either time and this was back in the 90s. One of those times, I was 17.

And if I needed to verify ID online (for payments, etc), I have a secure way of doing that, which folks in these states simply do not have. The websites don't need to keep any information on file either. And this is the very thing that pornhub is objecting to. If they were rolling out age verification that already has some of this in place, it'd be a different story.

And a sidenote: I don't think it is all that wrong for a 17 year old to see what naked people look like. The rest of us need to be mature enough to make sure that young folks have a reasonable view of porn, including things like 'this isn't realistic and physically difficult for these reasons." A lot of so-called 'harm' is simply that we - the adults in the room - haven't held up our end of teaching.
> Are you referring to the paintings behind glass that weren't affected at all?

You mean other than being unavailable while they were being cleaned/checked for damage?

Some visitors likely traveled thousands of miles, possibly on a once in a lifetime trip, to see the paintings, which they weren't able to do thanks to a toddler-grade temper tantrum.

That's a strange definition of "not affected at all" you have there.
Why are people so upset?

Because this is not like ID’ing for cigarettes and alcohol.

Largely speaking, people do not want there highly personal, sensitive activity and preferences to be attached to their identity and maintained by some entity that either may get hacked or may use it in any number of nefarious ways.

Once again, porn may be on the forefront of pushing technology (VPNs) mainstream.
I’m
(Much more nuanced takes in the article. Ars is one of my favorite publications for this reason)
that's a nice AI image with octopi
I suspect that scouring would find approximately 535 congressmen and 200 million americans.

seriously, how much "blow back" could there possibly be to revealing someone has frequented PH?
Anyone Keep MinocaOS Toolchains?
A few years ago, there's an open source OS project which was pretty active:
https://github.com/minoca/os

The toolchains to build it were provided (https://www.minocacorp.com/download/#toolchain), unfortunately the website is down and no way to reach the maintainers.

Anyone keep the toolchains?
Oh, excellent. Thank you!
It'so cool, love it.
SQL Vector Databases Boost RAG Performance
It's the whole of the EU, it's the new EU ID card standard, with biometrics and NFC on the card itself.

I'm not aware of any large scale user implementations of the protocol though (people have been getting compatible ID cards for years, but I don't know any software that uses them outside of probably cigarette vending machines in Spain). Do you know any?
I fantasized about a product made of, essentially, toilet paper, for removing soft adhesives. As it is rubbed, it sheds, then the rolling effect eventually absorbs the adhesive. Works well for sticker residue.
Becomes abstract. In the short term, you will be able to use your iPhone 17 to utilize Starlink satellites. They have already done tests with the iPhone 15.
cyber security isn't going away anytime soon.
I loved how you used your skills to address a ~seemingly~ simple problem. The explanation was also cool
Because I do not think one will have success with it. Same with Microsoft, Google and co.
Why is this in any way a good benchmark?
Then you would say "I and a group of dads". "I and other dads" directly states that you are part of a group (dads).
A lot of NATO countries already publicly consider being under "hybrid" attacks: disinformation, sabotage, espionnage, &c.

There isn't much more you can do without going into an armed conflict, so what would be needed to happen is the will to sacrifice a large amount of their citizen and/or expose themselves to possible strikes
If forests drive wind and water cycles, what does it mean for the climate?
Indeed, one of the most notorious war criminals in "Judenfrei" Estonia was Idel Jakobson[1], a Latvian Jew, who in the 1930s tried to overthrow the democratic government, but got arrested and imprisoned. He was freed under 1938 general amnestia and left the country. Returned in 1940 with invading forces as a NKVD officer. In that role, he tortured and executed hundreds of notable public figures, including many Jewish businessmen. Excavations at mass execution sites have shown that his modus operandi was shooting his victims right in the face. The fact that Jakobson was still alive was discovered in 1996, but he died before the massive case against him could be brought to court.

[1] https://en.wikipedia.org/wiki/Idel_Jakobson
Presumably this is a reference to the actual Onion article announcing the macbook clickwheel: https://www.theonion.com/apple-introduces-revolutionary-new-...
If my org is any measure of the truth, passive leadership isn’t a thing - despite the prevalence of passive leaders.
Rich Muslims include the Saudi government and royalty, who should feel somewhat responsible for the well-being of pilgrims.
Claiming, Auto and Otherwise
...if you don't take the slow cooking of marine life in the nearby sea/lake into account.

A small paper from an "Introduction to Nuclear Energy" course in Stanford: http://large.stanford.edu/courses/2019/ph241/clark1/
So for example if you were known to have paid for sex with a porn star, your political career would definitely be over. Right?

Or how it never turns out that politicians who pushed for persecution of gays are gay themselves. Ever.
Buffet has a statement to the effect of, "Don't lose money" and that really is the core tenet of investing. Missing some monster hits is fine and normal and preferred to putting money into big failures.
The Spectacular Transformation of a Showman's Mansion
Hmm.

> a m3 pro 16”/96gb/2tb costs 7700aud

You can't buy an m3 pro with more than 36GB in the UK. A Max with 64GB is £4,699 (8,900 AUD).

A 64GB/2GB Dell Alienware is £2,399 (4,550 AUD).
I've also heard about it being done conditionally, only when problems with bacterial contamination are detected (of course this requires a stringent testing regime).