skysight-inc/HackerNews huggingface dataset:
The grid layout makes this look so futuristic (and anime [1]). It looks very cool, though I wonder how long it'd take to get used to one, having only ever typed on staggered layouts.

[1] https://gifer.com/es/BFCV
If we check the script, it seems to support open ai models and llama https://github.com/lovishchopra/NL2FOL/blob/main/src/nl_to_f...

It would have been a lot cooler if this was set up as a pretrained model using RL to translate.
> We conclude by claiming that Bluesky—for all its novel features—is very similar in its network structure to existing and larger social media sites and provides unprecedented research opportunities for social scientists, network scientists, and political scientists alike.

The research potential for Bluesky & ATProto is quite significant. The ecosystem wants to make it easier and cheaper (by generally making the resources to do things on ATProto cheaper for everyone, devs and researchers alike)
If you're willing, that'd be great. I think our model will do well out of the box, but more data is more better as they say.

I spent a lot of time out at PDK when I worked briefly in aircraft sales. Nice airport!

Let me work on this and come back! I think we can ship you an API for ATIS there...
why make this- because people like music? I want to use it to make my own music, according to you, I can't because it deprives some /real/ musician of making money? what an insane argument- ban singing unless you're in a choir?
Accidental discovery depolymerises commercial plexiglass
https://archive.ph/BedZz
Why aren't people questioning the Ukraine mineral narrative? Is the news story really solid? We heard similar stories about Afghanistan. Here are some counterpoints. This video points out articles by Bloomberg stating Ukraine has no such relevant mineral reserves.

Ukraine's $500 billion rare earths scam: they don't exist, and we should know better

https://www.youtube.com/watch?v=tILXLxMTmgA
Requires open minded middle management and that is rare.
Yeah, I leaned from an old "Bruno Furst" memory course, but it's fairly widespread to use the same system, because you can create visual mental pictures from combinations of the sounds into a word dictionary that links to numbers. The phonetics are fairly loose and designed to be adapted as you need it. You just insert vowels as you need to make words mental pictures vivid. Once you have a 'library' it becomes a hook system.
I'm the developer of a speech-to-speech tool for tactical radar control for a combat flight simulator (https://github.com/dharmab/skyeye). My users have often asked to expand it to ATC as well, usually under the impression that it could be done trivially with ChatGPT. I love that I can now link to your post to explain how difficult this problem is! :)
This mindset is literally the way safe programs work. What do you think functions are?

This isn't some 100k line long program where this function is used all over the place and code churns constantly so checking invariants in the function definition makes sense.

It is called in one (1) place in a small program.
I mean, if you're going to design and build a keyboard only for yourself all from scratch, why would you expect a standard layout? The whole thing is bespoke to you.
I thought so too, but recently so many people dropped or adapted their core beliefs to be able to support and defend people in power that they really love that it made me change my mind. Now I think that value systems are malleable and are formed by whatever makes us feel good. And the logical consistency on top is very optional.
CSV is comma separated values data format. CV is short for curriculum vitae which is another term for resume. They are saying people spike up their resumes with a laundry list of nonsense because they won't get hired otherwise and also its the total capability of many developers as opposed to actual programming capabilities.
> F# v2

What does that mean?
This site is behind cloudflare and has captcha-blocked my queries more than once.
> This is what strong American leadership

That's not leadership. That's blackmail.
This is a bit disingenuous. Ukraine was never against a peace deal, and its position hasn't changed. What's changed is that the US is trying to sell them out to Russia, and that's something that Ukraine isn't going to, and shouldn't, accept.

What would the US do if it were in Ukraine's position? It certainly wouldn't go along with some other power telling it that it has to lose.

> This is what strong American leadership gets you, get used to it.

I see no strong American leadership here. I see a weak president throwing a hissy fit because Zelensky wasn't willing to sufficiently kneel down and kiss Trump's ass. Zelensky is the strong leader here.
import vidformer.cv2 as cv2

Do you have a list of what is supported? I've played around with cv2 quite a bit in python for everything from yolo, to loss of signal, to corrupt frame detection and simple things like 'snow blocking camera'

Ultimately, what is supported in your library? is it *.cv2?
Don't you know if people die from airstrikes done by a Democratic country, they go to heaven while they go to hell in case of Dictatorship. It is very common knowledge.
Founding fathers age on July 4, 1776:

James Monroe, 18

Aaron Burr, 20

Alexander Hamilton, 21

James Madison, 25
Taiwan is 3x more prosperous per capita. PRC just has a lot more people.
People are downvoting this, but I'm always suspicious of comments online that imply they are from the US but mess up simple details that no native US user would mess up.
If only. Ethics are reached via consensus. Two calculators can indeed produce different results if the axioms supporting them differ.

And good luck calculating some of these axioms, such as "Why is it my duty not to kill someone?" You could argue, "Well in the end, a society enabling such behavior at scale would be no society at all," to which one might reply, "I have no interest in letting others do as I do.", and you can't calculate away violent sociopaths. The rest of us derive our principles from functioning mammalian emotional circuits, but at some level we rest our case on subjective axioms.
Twitter community notes are popular and pretty effective at calling out misleading information that has gone viral (organically or inorganically). I think writing off facts and arguments is premature.
I'll believe it when the check clears.

In 2017, Trump and Scott Walker did a whole dog an pony show about how they convinced Foxconn to spend $10 billion in Wisconsin on a factory that was going to employ 13,000 people. Trump got a giant pile of good press about it.

Then nothing happened, then the agreement was scaled down, then more delays. A couple of buildings were built then left empty and eventually sold off.

But Trump supporters never followed up to see what happened. They just saw the initial press releases, declared a win, and forgot about the whole thing. Now we're doing it again.
partnered with any network already (epic maybe?)

how do you compete with ms dex? is it the same space or different markets?
Learned helplessness is sad. Try doing what you can. You might feel better.
> Canada/Mexico you are on the clock....

Can you explain what you mean here?
Not as much of a clear explicit threat to imminently engage in an armed invasion of Canada as the one to do so to Mexico, but, yes.
It's not that complicated, there's basically 3 iPads. iPad, iPad Air, iPad Pro. Good, Better and Best. The Mini is a niche product that you buy if you need a smaller iPad.

The famous "four quadrant" product matrix expanded to "Good, Better, Best" across most their product line towards the ends of Job's era. Airpods/Pro/Max. Apple Watch SE/10/Ultra. iPhone 16e/16/Pro (with some size variations).

I keep seeing people saying it's complicated but it's really not.
It may looks chaotic ("explosion") when you don't see the structure.

When you do, you appreciate the density of information.

When I read perl it's like I read a poem: to take a simple example, 'while/until' instead of 'while/while not' creates more beautiful code
The link to your website redirects to a Squarespace login page.
I doubt Denmark will get nukes, nor am I sure I'd be in favor of nukes.

But I can see the argument that having the ability to nuke 50m Russians might deter them from attacking 5m Danes.

And I'd personally hate to sit in a trench. Which is a real risk if Russia attacks the Baltics and only half of NATO shows up.

So maybe we should get nukes and preposition them in the Baltics.

I'm sure our politicians wouldn't want to :)
Humans are not fully rational, but they're more rational than many assume. For instance, many thought the illusory truth effect showed that people are biased towards believing things they hear many times over, which is great for propagandists, but it turns out this is only true when they are in a "high quality information" environment. This is quite rational! They should update towards believing repeated statements when the environment they're in has shown itself to be reliable. When the environment they're in has shown itself to be unreliable, the illusory truth effect basically disappears.

[1] https://x.com/ROrchinik/status/1885820697160859951
* "the end of weather forecasting by specific government institutions"
I hope you're right. Incentives both ways and support for national
infra is ideal. Lithuania, Latvia and Estonia just showed [0] how
flexible grids can be at the international level. However I think at
the national level some countries aren't that happy to support
national grids.

[0] https://www.dw.com/en/brell-lithuania-latvia-and-estonia-tur...
Wow, there's some serious zeitgeist going on there:

This novel was published almost simultaneously with The Fountains of Paradise by Arthur C. Clarke. Through an amazing coincidence the two novels contained many similarities. Both protagonists are engineers who have built the world's longest bridge using a machine named the "Spider", both of whom are hired to build a space elevator, and both engineers modify their Spiders to produce a crystalline fiber.

It's like the simultaneous invention of calculus. People are conduits for independently-living ideas.
Four years ago was seven years after Putin annexed part of Ukraine. This was considered a news story at the time. So it's not as if Ukraine has only been in the news since 2022.
When I learned Dvorak I found a tiny picture of the layout and stuffed it into a corner of my desktop. I didn’t usually have to look but sometimes.

I still forget where the symbols are regularly, which ends up evening out my typing speed versus sticking with qwerty.
i admire your optimism. i wish i could share it. i do not believe that firefox can be be saved by a group of unpaid volunteers. it is to big and to complex for that. volunteers can keep it on lifesupport, but in order to save it it will take some substantial funding.
Yes.

Back at my first salary job, the CTO of the company would occasionally jump into the code base to write some code when everyone else was busy .

It was a very small startup, but seeing him do that motivated me to work harder. It was also just a very awesome thing for him to do, since he could have just said no I have to go pick up a pie this evening figure it out .

Below him, the best manager I've ever had, was regularly writing large amounts of the core code base. In my opinion this is really good for team morale. If you want to call yourself a startup, this is how things should be done .

When I think about it, I really would only like to work for startups with around 50 people or less, or mega corporations. I don't particularly like the quasi 1,000 person start up with 800 rules, and a lack of stable funding.
Post product market fit :D
This comes on the heels of meetings with European leaders, which poses two possibilities:

1 - European leaders are talking the talk but afraid of actually walking the walk with respect to Russia, even despite Putin being drastically weakened over the last two years, which does not bode well at all.

We have been hearing much in recent years about the (dismal) state of readiness within the US military. Given reliance on the US for defense, it is entirely plausible the state of European militaries is even worse. Russia and Iran are not going to stop their push; we need a strong Europe to prevent a nightmare scenario.

2 - It is also possible that Zelensky actually was being overly pushy, asking for too much, reneging on deals, exploiting media, etc. and European countries chose to curb discussions as well, forcing him to come back to the table with the US. This tracks with past difficulties the Biden administration faced in talks with Zelensky[A] and aligns with the narrative that Trump has been pushing in recent days.

This, honestly, would be an even worse scenario. That would somehow place Zelensky _below_ Trump in reasonable-ness and diplomatic maturity, which is an already impossibly low bar. This of course does not bode well for peace talks. Regardless of political stance I think we can all agree the current West is not ready for WW3 to start right away.

I feel this is slightly less likely as it seems Zelensky is coming back to the table on his own imperative.

[A] https://www.nbcnews.com/politics/national-security/biden-los...
It really tends to be because the philosophy of homerow / economy of movement is quite high on the split / ergo keyboard communities, combined with the ease of creating temporary layers (imagine you had multiple programmable shift buttons).
Recycling tech exists so that net-water use can be zero or near zero. It's a matter of spending the extra money on it: it's cheaper not to.
If you know anything about music industry- you know its not a hypothetical case but reality.

Check how many ai songs are uploaded daily to spotify and any other platform.

And show me a few of those artists that hate making music and welcome ai.
iPhone 16e Teardown: Never Before Has Skipping the Upgrade Made More Sense
Why do you think that? Split keyboards are considerably more ergonomic than regular keyboards.
Maybe. One problem we have now is that fact checking is a lot more expensive than bullshitting. If we had a program that could bring things closer to parity it would be nice.

But also, a lot of propaganda isn’t false per se but simply blown out of proportion, or underproportioned in cases of inconvenient truths. The truth is a distribution of events, and editors continuously choose how to skew that distribution.

(One of my very interesting possessions is an old Chinese state-owned newspaper. As far as I could tell, their main tool wasn’t lying, but simply omission.)

For example, if you wanted to push a narrative that e.g. pit bulls are the most dangerous problem in America, you would just post a nonstop stream of pit bull attack videos. It taps into cognitive biases people have which aren’t propositional logic statements.

More broadly, the world is stochastic, at least in the way we experience it. So our brains have to make sense of that, which is an opportunity for narratives to creep in.
Investing Strategy: Unpopular large caps
The market has a tendency to overvalue stocks which have shown high recent growth and UNDERVALUE companies that are OUT OF FAVOUR. This creates the necessary margin of safety in the investment.
>It's obvious I'm 9 years old.

Then your parents have the final say.
I understand the two tables in your chat example, I think. I'm wondering how you get the rest of the user profile data (name, for example). Is that table in a totally different SQLite database? If so, can you join on that, or do you need to query it separately? Thanks!
That's for --model_name, not --nli_model_name:

https://github.com/lovishchopra/NL2FOL/blob/4635a81f216da2ad...

nli_tokenizer = AutoTokenizer.from_pretrained(args.nli_model_name)
nli_model = AutoModelForSequenceClassification.from_pretrained(args.nli_model_name)
I can, in vim it's simple. It just bothers me that it is the default and I have to take care of tabs with the rainbow, or a toggle shortcut like:

function TabCollapse_Toggle() abort

if &tabstop ==1

set tabstop=8

else

set tabstop=1

endif

endfunction

BTW if you hate tabs looking like other characters and other invisible characters (like spaces at the end of line, non breaking spaces...), I have a solution in CuteVim (https://github.com/csdvrx/CuteVim : just run the portable executable) where I mapped it by default to a Fxx key

If you already use vim, here's the relevant part: assuming your Shift-F11 is free, add to your vimrc:

" Default is off, `se list` to turn on and `se nolist` to turn off

" Traditional with ISO-8859-1:

"set listchars=tab:»·space:_,trail:·,eol:¶

" Or cuter with unicodes:

set listchars=tab:↹⇥,space:_,nbsp:␣,trail:•,extends:⟩,precedes:⟨,eol:↲

set showbreak=↪

inoremap <silent> <S-F11> <Esc>:set list!<CR>

noremap <silent> <S-F11> :set list!<CR>

Shift-F11 will then become a toggle, to show you tabs: you will see ↹ where the tab starts, and ⇥ for how long it is
is there a re-plant program?
> Secondly, this is muddling binaries and source code.

It can be both: lots of malware exists in executable-source form, like PowerShell scripts and the like.
> Did you even know the difference between Ukraine and Russia four years ago?

Yes, ~7 years into the current war, I think a lot of people did.

> Much less 30 years ago.

Yes, I knew the difference, then -- when the breakup of the USSR was relatively recent and the issues in and between post-Soviet states were frequent news items. Again, I think a lot of people did.

Heck, I knew the difference when I was in grade school and both were part of the USSR. There's probably a fair number of people outside the US who have some understanding of the differences between Texas and California, too.

> They were considered basically the same country.

Were considered...by whom?
from: October 29, 2024

better recent article about DPRK and this topic: https://nisos.com/research/dprk-github-employment-fraud/
Were you on Planet Earth between 2020 and 2022?

https://en.wikipedia.org/wiki/COVID-19_pandemic
procmon and process explorer from sysinternals are really good. and there is performance counters.
Why not a read-only access? This way, the manager cannot break anything.
Honestly, I really have to take what he says with a shaker of salt after the Ubiquiti fiasco and his refusal to admit what happened until a year later and being forced to by a court.[0]

[0]: https://krebsonsecurity.com/2022/08/final-thoughts-on-ubiqui...

[1]: https://news.ycombinator.com/item?id=32663296
Because at the end of WWII, there was a general recognition that oceans were no longer going to protect us. We would either have to participate in worldly affairs on an active basis, or eventually be destroyed, if not conquered.

Given that we would be forced to 'participate,' with isolationism no longer being an option, it was logical enough for us to strive for domination.

That actually worked pretty well, considering that we were the only genuine superpower left on earth at the dawn of the 21st century. It worked until our enemies figured out how to attack us from within by playing a literal Trump card.
I'm not shilling. I made no value judgement on Kaspersky or their operations.

My point is that this is a bad article, and the AS is not where censorship should be implemented, if it's going to be.
You seem to be misinterpreting those quotes as a change in Ukraine’s stance.
Nice work! A clean, simple but effective tool. Plan to use it in the future as I need it.
I've had this idea running round my head for a while now: perhaps we don't need a better internet, just a way to escape it.
Well, if you don't want to lose the country, better keep trying.
My favorite is the guy who had a business shuttling people across the Golden Gate via row boat. Had a big Bowie knife hanging off his neck. Halfway across the water he would stop and basically say "so here's the deal. You give me everything you got or I throw you overboard here." Apparently he got away with it for quite a while but eventually tried it on the wrong dude. Said Wrong Dude killed the row boat guy, tossed him overboard, and rowed himself the rest of the way to SF.
How is this not true? Apart from specific disciplines with a permeable barrier between university and industry (for example, computer science, finance), the median age at which a tenured position is obtained should be between 30 and 35 years old (and I believe the variance of the distribution of ages to be small). It is very rare to get a tenured position at 40, and the chances are much slimmer for older people.

I think that most people who haven't spent time doing a PhD, doing post-docs, etc. have very misguided ideas about how the academic world works, and their notion of
"professorship" comes mainly from movies.

Especially at R1 universities, researchers are hired primarily (90%+) for their research; teaching is very secondary. The "genius discovery" is the improbable outcome of their research; the most likely outcome is a substantial scholarship in some field, which is built up over time, initially individually (PhD, postdocs) and then collaboratively.
>I really have to take what he says with a shaker of salt after the Ubiquiti fiasco

For me, it was when he doxxed security researchers, claiming they were criminals with no evidence.
TerraAI | REMOTE (US) | Staff Machine Learning Engineer | full-time | $200k-$220k

TerraAI is trying to tackle climate change by helping the world hit its electrification goals via copper extraction.

In the same way image generators have shown the remarkable ability to produce a diverse set of realistic pictures conditioned on a text prompt (and other inputs), we are developing a generative model that produces 3D geological models conditioned on geophysical surveys, bore hole measurements, and other forms of physical observation. The outputs of the generative capture what we know and don’t know about the state of the subsurface, allowing explorers to make maximally informed decisions about how and where to explore for critical resources.

We are looking for a talented deep learning engineer or scientist to lead the development of this model that will revolutionize decision making in the earth subsurface for a wide range of clean energy applications.

Apply here: https://jobs.ashbyhq.com/terraai?utm_source=ankjvVkzlx
I'm quite certain taiwan is aware of this "kubernetes clusters" paradox and the military has the issue addressed.
Show HN: Tsight – Anomaly detection for your data (MVP with ClickHouse)
Hi there!
I built an app to monitor data in a data source because I was tired of manually setting thresholds for each metric in Grafana. I started with ClickHouse, which I use at my job for data warehousing and log storage, but I plan to add support for other data sources in the future.
I think that moment-by-moment data about your location and travels, as well as the video streams, are intensely personal.
Embedded systems engineer with experience developing on bare-metal and embedded Linux platforms. I have developed commercial embedded products from PCB design all the way to market. I have my own lab equipment and am fully ready to start working remotely if the job requires it.

Location: Denver, CO USA
Remote: Remote | Hybrid | In Office
Willing to relocate: No
Technologies: C/C++, Python, Buildroot, ATTiny, ATMega, STM32
Résumé/CV: https://drive.google.com/file/d/1G5zuFuMXbzGVIIIhlLNEi5Mg6wDOQOFM/view?usp=sharing
Email: dkuntz417@gmail.com
Github: https://github.com/GhostWrench

Thank you for your time!
I think the draft qualifies as "exigent conditions" in which some rights and ethics get suspended in favour of the "greater good", or if you mean mandatory military service, I think most western nations stopped having that. Do you have something more mundane in mind?

[edit] To answer your question: yes, there are only 66 countries with mandatory military service. Among the Western democracies there are the Nordics, Estonia, Austria and Greece. From here: https://worldpopulationreview.com/country-rankings/countries...