barrister

This ain't it. Know where you're at.

I'm ready to move to Espana.

Seems to be a weak pitch for an Israeli startup called Factify. Their new document type is also closed sourced which seems like an obvious showstopper for a ubiquitous global document replacement, especially in today's extremely heated and untrustworthy environment.

No strong argument imo for replacing the pdf.

2026

I'm 100% proprietary, private, and closed source.

I meant define or derive the "y combinator", obviously.

Martin Luther is not esoteric. What is esoteric is the "y combinator". For example, I doubt you can define it offhand nor derive it.

Jean Reinhardt, known by his Romani nickname Django, since he was a Belgian-born Romani jazz guitarist and composer. That's rational.

Out of a thousand originals...

Original track and fx :)

It represents universal quantification.

The CIA is an evil lawless agency.

This author, like many others on this site, seem to imply that AI generates "good" code, but it absolutely does not---unless he's running some million dollar subscription model I'm unaware of. I've tested every AI using simple Javascript programs and they all produce erroneous spaghetti slop. I did discover that Claude produces sufficiently decent Haskell code. The point is that the iterative process requires you know the language because you're going to need to amend the code. Therefore vibe in the language you know. Anyone that suggests that AI can produce a solid application on its own is a fraud.

Have you tried vscode-neovim?

"This extension uses a fully embedded Neovim instance, no more half-complete Vim emulation!"

This article seems to compare an out-of-the-box vscode with a tailor made vim.config. I guarantee if he spent as much time configuring vscode as he did configuring vim he could establish equivalent environments. That vscode-neovim plugin alone (not vscode-vim) is likely sufficient.

Very likely the same way that targeted advertising is carried out, which most certainly does occur. Also, 4chan has a history with law enforcement, including the FBI, and the military. Moreover multiple studies have been carried out by academia including by the Israeli military in regard to demographics. The point is that an entity like Palantir could be applied to reduce hate speech and violence. Rather than serve an ad it uses AI to generate a post that is humorous yet very curated in an intrusive insidious fashion.

If I ask Grok about anything that occurred this morning, he immediately starts reading and researching in real time. "Summarize what Leavitt said this morning." "Tell me what's new in python 3.14." Etc.. What do you mean by "cutoff", it seems unlikely that Claude is that limited.

"with a family and full-time job".

This is what is currently used in Coke Zero and many other "zero carb" products. It's perfectly healthy.

My blog is private, offline, and only kept on my personal local computer therefore the only way for "people" to read it is according to an illegal criminal way. Moreover, in the US it would be a felony. I'm currently using Hugo.

An obvious maxim. However, the full statement is "Privacy empowers YOU, but surveillance weakens YOU." Thus, to the enemy of the people, surveillance is a great weapon. Enemies of the people are typically an elite ruling class. To me, surveillance is generally applied to oppress opportunity, e.g. contemporary cancel culture, bad jacketing, or blacklisting.

It is implied, or goes without saying, that baby loves baby too. A love song wouldn't explicitly state this because it would appear vain and come off as a slight. Thus, the actual consequent is "((x == singer || x == baby) && (singer /= baby))"

I think the presumption is that Musk and the new guard are frugal and careful with money as seen by his passion for DOGE.

That's a standard pharmacy symbol in Europe. This video has quite a number of Easter eggs in it however.

You are HN if you can explain what the y-combinator is on a whiteboard with ease.

Both Santa and God are accepted because they are considered as greater than humans, or perfect. Whereas modern day surveillance is done by ordinary humans, which no one would consider as superior. In fact, most people would likely consider humans that perform covert or illegal surveillance as inferior or criminals. So there isn't really an equivalence relationship here. Again, people are willing to accept the judgement of a perfect being watching over them, but never humans.

Here is my brief explanation of the example given on the website in order to clear up some confusion, that I gleaned from the thesis paper. Admittedly, this language does require knowledge of Haskell to really comprehend:

   -- Extract all twin primes from the infinite list of prime numbers with pattern matching!
   def twinPrimes :=
      matchAll primes as list integer with
         | _ ++ $p :: #(p + 2) :: _ -> (p, p + 2)

In the example `primes` is a list of primes as in Haskell: `[2,3,5,7...]` considered the "target", and the "matcher" `list integer` may be thought of as a Haskell type like `[Int]`. So I suppose you could simply write it as `primes :: [Int]` and mean the same thing. This notion of a "Haskell list" is important because in the "match clause" the "pattern" is a combination of concatenation using the operator `++` and cons from Lisp using the operator `::`---note that this deviates from Haskell syntax in a somewhat confusing way where Haskell uses `:` and `::` for typing. Nonetheless, the integer list is deconstructed according to concatenation first, in every way, i.e. `[] ++ [2,3,..]`, `[2]++[3,5..]`, etc.., then according to cons'ing with the head stored in the variable `$p`. Yet, the "rest" of the list in this case is actually matched according to the pattern `x::y::_`, therefore, the second element must be 2 from the first, which is why the first pattern `[]++(2::3::_)` is discarded. The `#p` notation simply means to reuse the previous value of p to create a literal match, therefore for the first pattern `p is 2` and `#(p + 2) is 4` thus the pattern becomes 2 followed by 4 followed by the rest, which again doesn't exist. Finally if a match does exist, the values are constructed according to the "body expression", in this case a pair, and all of the results kept in a list. Therefore the type of this value is

   twinPrimes :: [(Int, Int)]

I reserve analogies for criminals that refuse to make arguments formally in a court of law, with lawyers. That is, it's a continual bedtime story dialogue until there's enough evidence to press charges and force them into a courtroom. Then all "analogies" go away.

Here is a paper[1] written by Andreas Rossberg, specification author of Web Assembly, that discusses the defects in the definition of Standard ML. I believe he tried to address many of these issues with Alice ML[2].

[1] https://people.mpi-sws.org/~rossberg/papers/sml-defects-2013...

[2] https://github.com/aliceml/aliceml

No because in the case of the "ls" command, it replaces non-printable characters with a question mark '?', including newline characters. I believe the actual source code for this behavior can be seen here: https://github.com/openbsd/src/blob/master/bin/ls/utf8.c

Brain activity, as measured here, does not imply good writing. I'm quite certain that if you were to type with one hand while juggling a few golf balls with the other your "brain engagement" would be much higher than simple handwriting.