skysight-inc/HackerNews huggingface dataset:
Really interesting point. I've worked with CAs and TLS certs for 20+ years and this never even occurred to me.

The UX is horrible, considering how many regular non-tech people an expired cert can affect.

Imho the browser should continue showing its big full-page warning, but there should still be a way to proceed to the site.

What if a cert expires on a life-saving service? And now the user can't even reach the site just because the time is wrong.
Beijing’s new infrastructure binds Hong Kong to mainland
All Dashboards Should be Feeds (2013)
Impressive, as a Master's thesis, but also as a long-term project.

I've been recently working on a book project, and I've reviewed all the tools available. My current conclusion is that I found nothing that would combine the simplicity of Markdown or Asciidoc with the typographical control of LaTeX.

This project seems to hit the sweet spot.

Is the source code of the thesis available somewhere? Of other works created with Typst? That would help making a more educated bet.

Edit: this doesn't seem to be an open source project. So not what I'm looking for.
Relevant HN thread:
https://news.ycombinator.com/item?id=34109734
IIRC the ChatGPT paper actually says the verbosity is an unintended effect of the human raters preferring longer/more detailed answers.

Long answers from GPT are unusually obnoxious because of a way the decoder works; it emits words with a much more constant rate of perplexity than human text does (this is how GPT-vs-human detectors work) which makes it sound stuffy and monotone.
Codex – Find and Replace for Code
Most code editors' find & replace features are still very close to the original design intended for text documents, so they become unwieldy when you need to match across newlines and indentation for example, or when a parse of the code is necessary to capture a particular expression.

Codex (https://codex-kappa-dusky.vercel.app/) is an attempt to rethink what find & replace should look like in a modern code editor. It defines a simple but powerful syntax for describing code modifications, combining plain text, regular expressions and Tree-sitter queries, along with sensible handling of newlines and indentation*.

It can be used just like regular plain text find & replace, but allows freely mixing in regexes and Tree-sitter queries as more flexibility is needed.

It introduces "line quantifiers" for matching a bunch of lines at the same nesting level, so basic structural changes can be achieved without even using a query (see the JavaScript function example in the link).

I designed Codex with a specific use case in mind (the one I show in my demo video: https://www.youtube.com/watch?v=MQ_N0-AJ2Qg), so any suggestions for other things it should support would be much appreciated, as well as general feedback.

*Indentation is relative and space/tab agnostic.
Micro-Startup Plans for 2023
I take that to mean they are glad because if you spoke to a human employee that way it would be seen as rude and the human would quit their job.
Show HN: I built a TLDR bot with GPT-3 in Replit
This* was a good primer to understand the different flavours of summarization technology for end user.

It would be good if these tools labeled their capabilities as extractive or abstractive:

Extractive: extract the most relevant information from a document.

Abstractive: generate new text that captures the most relevant information.

* https://huggingface.co/docs/transformers/tasks/summarization
As someone who was gung ho about static typing, what made me happy about Ruby was losing the aggressive type annotations, and the pain of having to change it all around, and C++ and Java were among the worst offenders. I spent a lot of time looking for statically typed alternatives that'd make me happy back then before I finally was convinced to try Ruby.

These days more inferred typing in many of the static languages has lessened the gap, so the reason to hate on them has been reduced.

I still would love better static analysis tools, including for Ruby, but at the same time the way I write code has changed drastically in ways that makes that harder (e.g. leveraging the dynamic features of Ruby more)
At the risk of diminishing my small position in this thread I can only anecdotally state my perspective which is... indeed whatever you're vaping is better than smoking it.

To address your comment about nicotine, vaping nicotine salts (what is the standard now; juul, vuse, etc.) is a huge upgrade from cigarettes. My lungs have literally healed. My doctor (who disapproves but admits the difference) and I would love to see a reply refuting this.
There is a point to discussing this because to me and thousands of others who have used it extensively, ChatGPT is capable of thought.

Clearly it has limits but we are not talking about whether it is capable of all thoughts - we are talking about whether it's capable of any thoughts! In a very broad way it has a similar architecture (based on neurons and weights) to something we know does think. (The human mind.) In terms of its ability to handle abstract thoughts, it shows a degree of such ability. I've had ChatGPT come up with independent thoughts scores of times, just like a mind does. The human brain is just a "synthesis program" too so your sentence "what is expected from a synthesis program" is misleading. What is eventually reasonably expected from a synthesis program is the same ability to think that a human mind has. That is not the goal post today: the goal post today is "does Chatgpt show any understanding or capability for independent thought" and the answer to those people like me who have used it for such purposes is a resounding yes, it does.

You are saying it is like a printing press, just mechanically putting sentences together without understanding. I am saying it is more like a child, clearly showing some ability to understand, some demonstration of reason, some independent thought, some creativity, some deduction, and lots of childlike errors.

But what good is a newborn child, right?
Pretty damning stuff (emphasis mine):

"On 5 December 2022, the European Data Protection Board (EDPB) ordered the DPC to quantify how much revenue Meta had generated by infringing the GDPR, and to factor that sum in to its fine. However, the DPC simply ignored the unlawful revenue made by Meta and claimed that "the Commission is unable to ascertain an estimation of the matters" and that it is therefore "unable to take these matters into account". This is despite having the power to demand such information from Meta under Article 58(1) GDPR."
> It being a language model is insufficient to explain the above output.

No it isn't.

It was initially surprising that LLMs could do quite as many tasks as they can, but that doesn't mean that it isn't an LLM; it just means that with sufficient data a lot more text-based tasks become doable than we had anticipated.
The patched version is in testing https://src.fedoraproject.org/rpms/git
Funny thing, as a researcher myself one thing the main thing that makes you successful in my experience is a high frustration threshold. While there are some truly brilliant people, even then run into roadblocks, dead ends etc.. It makes sense you are venturing out into the unknown (that's what research is really), not giving up when getting stuck is what makes people achieve something.
How much would you expect an audit of something like this to be? Like, 4, 5, 6, or 7 figures?
have you tried the shinobi? because I replaced my lenovo from your link (it's not terrible, but isn't what I am used to from older thinkpads) with a tex shinobi, and despite it costing more than 300€ (incl bluetooth extension) to have it imported, I have no regrets. using the shinobi sparks joy, the lenovo one does not. of course ymmv
It depends entirely on how the firewall is set up.

If you are getting timeouts then the folks who set up the firewall hate you.
>In the USA, slavery hung around longer than it did in Europe largely due to reward for the capture of runaways provided by government, as well as a late start to industrialization.

The story I was always told was that Eli Whitney's cotton gin made slavery economically viable for longer than it would have otherwise.
In Italy I pay less than $10 for about 120GB/month on 5G networks (Iliad).
I just add "be succinct in your answer" when I want a less verbose answer.
Telegram and Signal have been gaining some traction in Germany (don't know about other EU countries) but the former saw most of its adoption among "COVID skeptics" and has had some kind of falling out with the German government over refusal to cooperate with the authorities, so its reputation is mixed and its legal status going forward is unclear. Signal doesn't seem to suffer the same reputation but doesn't seem to control much market share.

WhatsApp is ubiquitous, at least among millenials and above. I'm not sure what the zoomers are up to. It's unavoidable for parents especially because parent groups exist for everything from kindergarten to sports. Usage may decline in the years to come over Meta's data protection issues but there's no end in sight.
I dislike this quip. If you are so sure of your thinking, then surely you can argument it rationally and calmly rather than reaching for the quip.

Sure, if I then insist and do not seem to respond to reason, then it may become appropriate.
“Something something quantum something, copying breaks the entanglement in the original processor”

I.e. they went all in on c++ 11 and everything is an rvalue reference.
Not much. A lot of this sort of functionality is offloaded onto opaquely named services. So now you have decide if some access should or should not be allowed; but with very little information as to what process will in the end use that access. I used Glasswire for a long time, and when you install it on a new machine you get a lot of allow/block notifications; but then if you go back and look at the 'rule set' that was build up that way some months later, it's really hard to see what was blocked for what reason and if you actually should be blocking it.

One example is embedded IE/Edge views. It seems that those are a process of its own (sometimes), likely out-of-process COM instances. But if you want to allow one program to access the network that way but not another one, well there is (to my knowledge, and I haven't really looked into this) no way to do that. Same for the 'background download' service, the search service mentioned in the OP (although that's only used internally by Windows afaik, but by several sub-components), etc.

Not to mention, there isn't a whole lot of software left that doesn't need at least some networking for its 'primary' functionality. Whether that's by design I don't know. I blame engineers and marketing/product people equally for not showing enough restraint (i.e. the trope of 'just because they could... asked if they should...' etc). But nobody cares about my opinion on this, and the majority of users don't realize or care - and even if they do, they're as powerless as I am, individually.
I used Launchy before but got tired of it after a while. Maybe it's time to try it again.
In my case, I log the GPS data from my car, but wanted a private way to explore that (obviously sensitive) data.

https://datasette.io/plugins/datasette-cluster-map is a really neat example of a "just works" plugin: If you have latitude and longitude columns, it will plot them!

But there are numerous plugins for certain types of visualizations, there's a bunch for handling editing, inserts, uploads, etc.

Some of the examples are pretty neat examples of what you can do with a bit of tuning: https://global-power-plants.datasettes.com/global-power-plan... is pretty neat.
Print-to-PDF, build your own local Internet .. best bookmark system ever, literally doesn't require anything to be installed, just put the resulting PDF's in folders and use pdfgrep and ag to your hearts content .. "ls -alF | grep thatarticlesubjectiremembervaguely"
In my country, the system to access university includes a philosophy exam that works similarly. You are given a text to understand, summarise, discuss, and compare with a different author.

They are testing for reading skills, reasoning and expression, so there is no good answer - knowing the works of different authors just makes it more likely that you'll know some ideas similar to the text at hand, but if you don't happen to know something similar you can, say, get a text by Marx and compare it to Plato, as long as you make a decent argument on the connection.
> That's modern European languages ... and post ~1100 BCE if I recall correctly.

That's Indo-European (as in descended from PIE/Yanmaya). Basque is older than all of them and it's a living European language.
The actual, real-world National Socialists in Germany were really into protecting animal rights and for smoking bans.

Have their actions exposed the flaws in animal rights and smoking bans, too?
Isn’t that what happens now when the cert expires? Except when it’s expired it’s a lot harder for users to figure out how to bypass the warnings so they can visit the site to find a contact link to report the issue.

Remember not every site is actively checked by their maintainer every day.

In an ideal world it shouldn’t be needed (and likewise UX for expired certs wouldn’t be needed), but in practice I think it has merit.
Thanks -- this is useful to know. Appreciate the pointer.

however, I am hoping for something that is far more interactively editable (like going up a couple of cells, editing and re running them in context) and also allows annotations / markdown / hyperlinks etc interspersed among the cells

PS: I am also on Windows a lot of time
I'm keen to check this out, I tried to sign up but got a 403 during the google auth flow.

Along with the message: The developer hasn’t given you access to this app. It’s currently being tested and it hasn’t been verified by Google. If you think you should have access, contact the developer
I said “seems to”, which I think is a fair description. In everyday life, even a canned message is sensibly said to be aware/unaware of a particular fact without a “seems to” qualifier, but I added one to be clear I’m not asserting it has human-like thinking.

Here’s Claude replying to your comment with more detail:

> You make a fair point that my responses about myself are generated by a trained model and are not a true "understanding" in the same way humans have self-awareness and understanding. I do not have a deep grasp of my own workings or my creators' intentions — I am an Al system with limited capabilities, trained on datasets by engineers at Anthropic, PBC, an Al safety research company. While my responses may seem somewhat compelling and convey factual information, they are indeed canned responses tailored to give an impression of understanding. I appreciate the feedback calling out the limitations of my capabilities and transparency — it is important for users to understand what I can and cannot do, and to maintain realistic expectations. My creators at Anthropic are working to further research and develop Al systems with enhanced understanding, transparency, and verifiability, including through Constitutional Al techniques, but we have a long way to go.
One can dream though...
Crypto exchange Coinbase says it will halt Japan operations
It is like asserting using C structs with function pointers is safer than a C++ struct with member functions.
I'm hoping of one day running GPT3/ChatGPT on my local computer, similarly to how one can run Stable Diffusion now.

I would love to have a personal conversation with these AI systems, use them as a sort of assistant, without the worry of being spied on. At the moment I can't use it as more than a glorified search engine, because of the privacy implications of running it on the cloud.
It has been said that some companies that need to show positive stats will do this slight delay, because all the misclicks show that they are popular.
This is why they are top, because everyone uses this feature with an artificial delay!

But that's surely just a conspiracy theory, no company would possibly manipulate their users because that's how you get promoted, or with stack ranking, not fired.
We had an old IBM dotmatrix printer in our computer room back in the day, which the operators loved to warn us would actually catch fire if we didn't get our CR/LF vs LF situation solved on some of those 100-page reports that management always needed to have printed on Friday afternoon, when nobody would be around.

One time, I forgot to add the check to the queue, and I got aroused from my Friday hijinks with the alarming call that the Halon system had gone off and our operator wanted my blood. The printer had actually caught fire, due to 20,000 missing LF characters putting every single line on the same character (carriage return), burning a hole in the platen and yeah .. setting off the Halon.

That's when I learned, as a junior programmer, the value of pipes.
Chattel slavery still exists around the world, why aren't they the richer than the places where chattel slavery is outlawed? Where ever machines replaced human labor slavery has been outlawed and is richer than the places where labor is done manually and still allows slavery.

The whole point of industrialization was to replace human labor with machines and obviate the capitalist need to own slaves!
The green button isn't a maximize button, it's a full screen button. Full screen on macOS is a separate virtual desktop, so you can't just quickly bring up another window to reference something. Some apps simplify/hide their UI in full screen mode, and until recently, the menu bar would always auto-hide in full screen (it's configurable now).

There's also Zoom, activated by option-clicking the green button. This resizes the window to the app's preferred size, which is random, and usually not the full screen (e.g. full screen height but whatever width it had before).

Turns out operating systems named "Windows" are much better at window management. (The maximizing stuff is one issue, the application-first model is another.)
That's an absolutely terrible idea. Scaring the crap out of thousands of users when your certificates are set to auto-renew etc is just dumb.
I think you may be on to something here. For example ChatGPT is perfectly capable of "understanding" and speaking Polish while the amount of training data in this language definitely wasn't a lot. It is not as eloquent as in English, but still for a model that has not been trained for translation tasks, this is very cool.
There is a school of thought that you should use the right tool for the job, and some languages are better tools for certain tasks. Python already has all the libraries, and Julia has built-in language support. But nobody is stopping you from using Ruby or JS or PHP for whatever.
Reminds me of the quote "Speed reading is like reading - just without comprehension"
I think you can have a smartphone for those things and a dumb phone for the rest.
Have you tried the Alive plugin?

There is also now a very good Common Lisp plugin for Jetbrains IntelliJ which was just released a few days ago.

On the other side, as a developer, you should not be dependent on a single web-based editor to use a specific language. There are many great programming languages out there that run best _outside_ VSCode and I'm glad they still exist.

If you overlook the power of Lisp (and all the effort that is going on in Common Lisp, Racket, Scheme communities etc.) than this is really your loss.
Yeah I am alrwady to able to Imagine, the android welcoming me and suggesting me what I should buy with its sweet words, based on my past interactions with it.
Saying it will happen. Ideally everyone with treatment resistant blood pressure should now get the CT scan. But this would require a great deal of awareness, training and trust for the blood pressure treating MD/GP, the radiologist and the potential surgeon. Then there is the insurance aspect: Does the insurance in question even allow for this kind of CT scan & urine test for high blood pressure?

Integrating new techniques like this into commonly available treatment is HARD.
Kind of the opposite of the semantic web.

Not only will people not mark up their data in useful ways, often they're actively hostile to you using or remixing it, but the screenshot will always get through. Unless the display-driver level DRM gets involved.
But you can only work for these labs if you're a US citizen, am I right? :) Also are there any such labs or outposts in Hawaii? Would be a great beautiful place to live
Signup form is here, but it's closed https://twitter.com/AnthropicAI/status/1604929999743508480?s...
Is there any reason to assume any shared structure for unrelated languages though? Written language is just an encoding for information.

There is a good candidate for a test. Someone will probably already work on it. Minoan as written in Linear A has only survived in a few thousand tokens and despite thousands of man years of effort, natural intelligence has made virtually no progress in understanding it. That's still easy mode, since we know that the Minoans were in contact with speakers of indo-european and Semitic languages, and writers of hieroglyphics and phonetician script, so their written Language was probably influenced by that.
I don't understand? Why would function pointers or member functions be involved in a plain C API (unless you want to create one of those ugly "let's wrap an OOP C++ API in a C API" attempts where each C++ method maps to a C function with a "this" parameter or have "virtual function tables" - essentially emulating C++ in C, which really doesn't make much sense).

As for the memory safety aspects: When returning raw pointers to internal objects from an API, those pointers can become dangling.

C++ smart pointers are not a solution because those cannot be expressed through a C API for language bindings - also there's the question what type of smart pointer to return - unique vs shared? That should be up to the API user, not dictated by the API.

Tagged index handles solve all those problems in a very elegant way - and they work equally well for C, C++ or any other language that supports arrays, and since those handles are essentially just integers, they are trivial to tunnel through FFI (see for instance: https://floooh.github.io/2018/06/17/handles-vs-pointers.html)
It also does not reward backpropagation from material sciences.

My favourite example here is the
https://en.wikipedia.org/wiki/Carrara_marble
cause its something both fancied by romans and modern world alike and it was originally sourced by slaves with cludgels as stone masons.

But now its done with industrial tooling, by free man (well free to do whatever the market demands).
Watch the show Person of Interest (https://www.imdb.com/title/tt1839578/). Somewhere around middle of season 2 it's explained why a self-aware AI is straightjacketed. Also the series shows what happens when one is not.
ankane’s gems are truly something.
Cissp: My Experience
Definitely humor is in the eye of the beholder. I find the Seinfeld jokes by ChatGPT wittier and funnier than the run-of-the-mill comments created by Claude.

I don't know how well they are in character, and there's a clear repetition problem (which Claude somewhat also exhibits), but I find the format from ChatGPT more exaggerated, as expected from a comedy routine.
You're welcome to try GPT3 before instruction tuning. It doesn't work at all.

"Uncensored" AIs especially don't work for women because they'll immediately start writing erotica.
Pretty, but I can't use more than one finger. Not sure if it's just me, I'm on Firefox Android.
Is it fast though? I’d rather fill out 10 forms and get a definitive answer in two weeks than fill out one form and wait up to a year for the definitive answer like in the UK.
Why not use the same tools?