skysight-inc/HackerNews huggingface dataset:
>After about four years of research, my supervisor told me to write my thesis. After I sent him my thesis, he told me that he now thinks my work did not have enough scientific soundness

What even happened here? Did he not once talk to his supervisor during the time he wrote his thesis. To me this is quite bizarre, you would want to talk to your supervisor regularly surely you have to have some questions about the content, details, structure and formalities.

The most interesting question here is why the professor has that opinnion about the thesis. I think the total irrationality of the professor, which is alleged is very weird. And until there is some clarity on that this whole thing is impossible to unravel.

The obvious thing to do is talking to other professors and administration about this. What do they think about this?
If you are interested in the brain as an oscillatory system, you may appreciate the rigor with which we clarified key concepts around “resonance” in the brain.

“Resonance as a Design Strategy for AI and Social Robots”
https://www.frontiersin.org/articles/10.3389/fnbot.2022.8504...

Also, this paper is a systematic review of the concept of harmony. The section on neuroscience reviews evidence for why brainwaves are structured like octaves (frequency doublings), viz, to support phase-amplitude coupling.

https://doi.org/10.1016/j.sheji.2022.01.001
Maybe a misunderstanding on your part but the thesis is usually constructed directly from research papers. In some places you may graduate simply by publication. No thesis required.
I don't believe people on the ISS or in Antarctica are counted as resident in those places. If you're in Paris for a month, or sailing a boat over the atlantic, as long as you live in Idaho you can vote.

If you are a US citizen, born in Idaho, but moved to Paris and are officially resident in Paris, can you vote?
> I'll be surprised the day there's a positive article about crypto on HN.

I am annoyed by such arguments because crypto has now existed for quite a long time, and the positives are very limited if existent at the moment. Would you mind sharing positive events occurring thanks to crypto?
Well it would be interesting to know the reason. But the website is still online, so probably not because of that. The last update was because of a military exercise. Maybe the raid had something to do with that? (Publishing about current Military Activities)
You can still get just a few bucks. Either you loose 5 usd or hodl and... who knows... XD
I was very excited for Bitcoin in 2012, I mined a few on my gaming rig that was also being used for some Seti@Home and Folding@Home calculations when idle. I imagined that at some point it'd be an useful technology.

We are 10 years in, I've followed the whole scene from the outside, not really engaged in it but always keeping tabs on developments, exciting things popping up, etc. I'm thoroughly convinced the current crop of cryptocurrencies/cryptofinance should die.

I dislike the apologisers bringing up that "scams are not exclusively to cryptocurrency", yes, of course, there are scams everywhere but very few technologies live in this crossroads of lack of control and perverse incentives for greedy people to rob others. The amount of money circulating in it freely available to be scammed is also on a level different than most others. The enabling of scams with this technology is absurd.

10 years in and I still haven't really found a use-case that could come close to compensate for the amount of money that naive people have lost, I've seen complete assholes that I personally know become filthy rich, quickly, just by not having any moral compass and being enabled by this technology to steal from others.

No, I won't focus on the possibilities of the future knowing the amount of damage it creates in the present, I don't live with a Machiavellian moral of "the ends justify the means". The current means suck and there is no big push from the cryptocurrency scene to address those properly because it's been co-opted by the scammers through and through.

Does the technology itself still have some exciting features? Yes. Do I believe that it'll eventually evolve to something that is actually useful and not hostile? No, I don't believe that, not the current crop of people working on it.

> If so many people are excited and dedicating their lives to it, isn't it possible that you missed something important?

Isn't it possible that those people have misguided (or mischievous) motivations? It's not because a lot of people fall into a hype that it makes the hype validated. Even less a hype that is completely and absolutely created by pure greed.
On the other hand, both him and Caroline are very well connected.
This one is amazing, never heard of it and thanks for sharing! Appreciate that you added lifetime subscription as well, but for now subscribed monthly :)
1 - Everyone that follows clang development, knows that Apple's use of LLVM bitcode isn't what regular people get out of https://releases.llvm.org/download.html

2 - "You say, I say", school playground stuff, unless you actually have something to show beyond yes and no words.
> "Proof by induction" is a proof technique where you prove that if something holds for n, then it also holds for n+1.

Proof by induction is actually a little more general than that.

The idea of induction is that if:

(1) you start with an object that has some property;

(2) you modify it by a series of steps; and

(3) all modification steps preserve this property

then whatever object you end up with will also exhibit the property in question. The style of induction you're talking about modifies small numbers into larger numbers by the process of adding 1; in order to prove that your property holds for all integers larger than whatever your base case is, you also need a theorem that tells you all larger integers can be reached from smaller integers by a process of repeatedly adding 1.[1] (This is true, but it tends to get left out of ordinary induction proofs.)

It is very common to use induction in this more general form when you have a set that is defined as (a) some elements that are in the set by definition, plus (b) some elements that are in the set by virtue of a membership rule [which usually takes the form "if x is in the set, then f(x) is also in the set"]. If you can prove that all of the base elements [from step (a)] have a property, and you can show that every membership rule produces an element that shares that property, then you have shown that every member of the set has the property. As an example, we can define the Fibonacci sequence this way:

1. The ordered triple (0, 0, 1) is in the set.

2. If (a, b, c) is in the set, then so is (a+1, c, b+c)

Now every Fibonacci number F_n is the second element of the triple in the set whose first element is n. [Theorem: for any n >= 0, there is exactly one such element.] You can do induction on the Fibonacci numbers by proving things about the three dimensional map f(a, b, c) = (a+1, c, b+c).

(You could also do induction on the more fundamental Fibonacci map f(a,b) = (b, a+b), but then you'd lose the ability to refer to the index of the Fibonacci number.)

[1] Note: it's not necessary that there be no other way to reach your target element. As long as you can get from base case to target by using only steps that preserve the property, the target will have the property. If there's another path, using other steps, that doesn't necessarily preserve the property at every intermediate step, that doesn't matter.
Could you share some actionable advice from Inside Out?
You sound like it is obvious to you, but those two points are generally not accepted yet:

* CO2 emissions are linked to GDP. Lowering one means lowering the other.
* We can't magically absorb CO2 from the atmosphere.
> This is a problem that a market can easily solve: make the more central seats more expensive than the outer ones.

There are risks to create a "vomit comet". Think about cleaning bills.
> due to some issues

This is amazing, I wanna use it someday. Were the issues technical? Maybe. Were the issues problematic decision makers who've been overridden? Also maybe.

We'll never know
Possibly, the result presented is not consistent with what is expected, and might cause damage to the professor. Either because the result is really wrong, or it is in a field which is driven by researchers group think bubble, not reprodrucibility.
Could be 'afk'?
It might also be important to verify that the thumbs are attached to a living body…
Um... I advocate for in-person work and working hard. I do not advocate for this. Elon has definitely made lives worse for Twitter employees, those that were laid off, fired, and retained.
Most people on HN are pretty well positioned in “the social structures” and well treated by them hence the belligerence and bewilderment toward anyone who wants to put their eggs in different baskets. (Generally speaking, crypto is just one example.)
I frequently hear statements like that, but I doubt that it is literally true. Just the localization files in this app are easily a third of its size, and back in the Windows 3.1 era nobody could afford to casually install 40 megabytes of strings for languages they could not read. My entire hard drive held just 40 megabytes back then! (Also, Unicode didn’t quite exist yet.)

Incidentally, the TreeMaps provided in this article are really amazing. If every scientific paper provided this level of access to their data, we would be a lot better off.
That's not the something that can be applied through compile-time analysis nor it is something that the language can "solve". There is actually nothing to be solved unless you have an actual workload which justifies making a change like this.

As a matter of fact, applying such pattern blindly would have a negative effect on an increased memory pressure. You're increasing your application runtime memory footprint by doing this.
Supply == The Australian Government's budget.

Unlike the United States,

By law, and by basic common sense, there MUST be a bill passed that contains the budget for the coming year. Otherwise no money is made available to public servants.

Any government must be able to secure support for this bill once a year.

Otherwise the entire civil service will not be paid.

What the Queen established was the precedent that, instead of having a government shutdown over supply like the United States, you instead just have an election right away.

Frankly, compared to the US approach, it's much more practical.
If you can only focus for 15m at a time, then work on increasing that naturally.

Make yourself a timer app that will increase your work time by N every day before sounding an alarm, then browse/do whatever. When you come back you restart it and do another block.

As other people said, it's the possibility of interruptions that break your concentration. I'm working in game dev (Unity specifically), and it's really good at breaking your concentration. It'll take a long time to compile, randomly crash or take time importing things etc, which then makes you want to not sit there and watch it.
How much does it affect playing on your own hardware? I worry that we are increasingly entering a world where it becomes impractical to install a niche hobbyist OS directly onto a hard drive.
Yep. It's not even like they have proprietary exchange technology. Hundreds of exchanges exist with the same/similar technology.

There's no point in rescuing their customer assets. I can't think of any upside.
If your PhD student publishes 8 papers with you and you only then notice or claim that they cannot graduate that is an enormous failure in supervision and mentorship in every imaginable case. Either the student is really not fit to do a PhD, or their research is not worthy of a PhD or you are intentionally sabotaging the student. All those options indicate a serious failure on the side of the PhD supervisor.
Pinboard's performance was ultimately what led me to abandon it in the end.

I really like Firefox's built-in bookmark manager. It supports both hierarchy and tags and, if you export your Pinboard bookmarks to html, the file will include the tags which Firefox will preserve just fine when it imports everything.

I don't use Firefox as my day to day browser but all of my bookmarks live in there and I can search them from there much faster than any website. Those bookmarks live in a sqlite file which is easy to browse (good luck reverse engineering its schema though) so if anyone fancied knocking up a command line tool to search it I'm sure it wouldn't be difficult.
Since companies have a limited amount of resources, yes. For example, they could have hired more SREs and less designers, but they didn't.
Yup, I fully agree. That's why HN is so anti-crypto. It's dominated by American males in their 30s and 40s who don't understand the value proposition because they never had to deal with malicious governments, banks, or hyperinflation in their lifetime.

If I have to choose between holding USD or ETH, I'll pick the US Dollar. But if my choice is between holding and transacting in ETH vs. some third-rate local currency by a semi-corrupt government, I'd be all-in on crypto.
I actually think that is an advantage in Australia and Canada. The Governor General is not the monarch, but is (effectively) appointed by a democratically elected official. That gives them more freedom to actually wield that power (albeit extremely rarely). I, personally, think it is very useful to have that neutral referee with real power. As you say, the King is much more constrained in the UK. Although, he theoretically has the same power, it is much more problematic if he uses it.

EDIT: To be clear, I am not well enough versed in the history to make a judgment on whether Kerr was right or wrong, and I understand that it will always be controversial, but I do think it is a feature and not a bug for the GG to have that power.
Was this profiling done while using `JdbcTemplate`? To be honest I don't use much more than that for querying RDBMSs, I don't like any kind of ORM and actively avoid them.
Crypto like all financial assets is a tool for extracting wealth from others.
Show HN: AI powered code reviews on GitHub
Having a private "possibly a sex pest" list sounds very useful, even if it has a couple of false positives, and even if most of its contents are based on anecdote.

Having false positives in a public accusation would be a disaster for everyone involved.

Additionally, a list that is private creates far less incentive for any malicious/spurious additions.

A private list seems far more practical, sadly.
Did something change regarding wing idea?

Highly recommended Mustard video (their videos have great production quality) why one wing design didn't take off
https://www.youtube.com/watch?v=dByvPIyIbZE
That's gonna be tough. Thx for sharing.
Latency of instructions, number of ALUs and FPUs and available special functions differ from micro architecture to micro architecture. This makes the compiler behave differently in instruction selection when you select different micro architectures.

With llvm-mca you can check how each micro architecture will behave differently for the same machine code: https://llvm.org/docs/CommandGuide/llvm-mca.html
If it costs more than $35 I might as well buy a Raspberry PI. That is the problem with retrocomputer remakes they are too high in price. I'd much rather have a PI and run an emulator on it.
Are you serious? Any investment that promises a guaranteed 20% annual return should be assumed to be a scam. Nobody should take a mortgage that they can’t afford to pay if the 20% magic interest vanishes. Real estate doesn’t just go up. The house value may be underwater when this financing scheme collapses and they’re forced to sell — and then their losses can easily be larger than the 200k they started with.
I think it is simply bad for business to have this sort option, thats why they tried to remove it. When users wants to sort video order backwards, they have to do additional queries to db (costs money) instead of showing cached page, find and load video from disk (costs money) instead of showing cached from memory, deliver this video to user from central servers (costs money) instead of delivering it from cache server located on the last mile. So, removing backward sorting means less money spent on servers, simplier code and faster further development (less money spent on developers). And later they will say something like "it was used by 0,001% of our users, nobody will miss it". Just business.
Researcher working in a related field. The above is just patently false. There are currently no drugs that can do this in lab-animals, let alone make it through clinical trials in time by 2027.

Computation is also not the bottleneck of research, it's the amount of training data, see ICGC https://dcc.icgc.org for the current state of the art.

Remember that each tumor has 3 billion base pairs (A,C,G,T), each of which can be duplicated, deleted, mutated. It can also be affected by methylation. Expression of the genes comprised by these base pairs is also affected by the micro-environment of the cell. Any machine learning model will have far to many parameters for far to few observations, to pick the rare drug that can cure stage 4 cancer (assuming it even exists) out of millions of possible chemical compounds.
You can indirectly rug-pull DeFi users by "gifting" them a coin into their wallet. And as soon as they interact with it, that coin's smart contract can then gamble away their funds.
I don't disagree that variable fonts require a lot of effort to create but there are hundreds of open source variable fonts available: https://fonts.google.com/?vfonly=true
a = a; //MISRA
> You expect politicians to be brave, fearless and know how to use power.

You do? There is some nobility in stepping up to be a public servant, but you're still a servant at the end of the day; one that works for a bunch of petulant, out of touch bosses who can't get along to save their lives. Not where I would expect to find the brave and fearless. There may be something to be said about the marketing opportunities that a head of state-type position opens up for such a person, but a general representative without a fancy position in government seems like a strange fit for someone who isn't afraid to take on the world.
It's a Fight Club quote.

Your points are absolutely true, but I don't think the person you're replying to was necessarily unaware of them.

So I appreciated both your comments, albeit for completely different reasons.
My prediction: Database gatekeeping will continue into next year.

Lots of X is a toy database, Y is all you need for every use case, nobody really needs scalability, high-availability etc and above all else never use an ORM. Real engineers write SQL by hand.
Even more so, if I think it's "bad" I might also consider it detrimental to the music world, and even to society at large. Music is not just an isolated consumption, it's also a social force.

And people can still be able to differentiate between stuff they merely don't like (taste) and stuff they consider detrimental to music in a larger way. In fact they might even like the latter and still consider them detrimental (e.g. I find some commercial pop tunes catchy, but consider them a bad musical and societal influence).
Of course, this problem has an obvious solution: Make HUMAN mathematical.
Poor forgotten xman.
This was a great article - I'm sending it to a couple of my friends.

Might I ask what software you used for blogging? I can't seem to find the source repo it came from...
Meta question: do many people use property-based testing in their production systems? I think the philosophical idea is extremely sound and is a very good approximation to proving correctness, but I only ever see trivial examples like "a + b = b + a" as a property. How does property-based testing hold up in far larger systems with quite complex setup behaviors?
Cure for cancer, nice.
I always found bookmark apps to be missing the features I needed to I ended building my own open-source bookmarking tool back in 2015 and I still use it to this day. I'll share it here in case it's helpful to any of you.

Here's where it's being hosted as a service: https://fragments.me

Here's the open-source code: https://github.com/squallstar/fragments
Implicit Sharing
Funnily enough that was a very left wing view too
Cryptocurrency, specially when holding the keys of your wallet, prevents:

- bank runs

- currency debasement

- arbitrary seizures
Yes, I mostly agree. But they were constitutional monarchists, not absolutists. And usually their fascination for Bonaparte ended when he actually took power. They wanted something like Elizabeth II, not Louis XIV.

They were liberal in the sense that they supported individual freedoms, and they called themselves liberals. It makes no sense to call them otherwise. They were on the left because the original left-right divide was about individual rights, not socialism. Though the Overton window moved fast and radicals one day often ended up moderates the next week without having changed their ideas.

But they were not conservatives at all; even though their constitution kept a king, it had pretty much nothing to do with how the ancien régime worked. Nowadays they would be centre-right more or less like the UK’s Liberal Democrats or the French centrist parties.

What’s interesting is that the American use of “liberal” to mean “radical” is at odds with the historical meaning of the word, and how it is used in some other languages. That’s why some people are confused with neo-liberalism being a right-wing ideology.
While Italic type is a European thing, it is a very useful thing that does have some parallels in other scripts (Consider Rashi script for Hebrew, or how Japanese uses Katakana in a similar way). No need to get all 'anti-woke' about it: if it were the case that people had a problem with 'Italic type', the phrase 'oblique type' is right there for use.
> were genuine technical issues/limitations

I can't even imagine what can be a technical limitation to break sorting on something what worked for more than a decade.
I was literally waiting for this. This show the dissenters are persistently using the feature. Pressuring Apple to do this isn’t something you do if a problem is just going away because the normal social controls are working… this means they aren’t… which poses the question, how will the dissenters react, will any unmonitored public space become a billboard for counter-propaganda?

Stickers, graffiti scratches, permanent marker scrawls… it’s going to be very hard to lock down, this is turning into an iteration of the prisoner’s dilemma… can they convince enough of the public to snitch promptly and accurately enough that they can work out who scrawled graffiti onto the back of a toilet cubicle? Will they just go full panopticon and start trying to get 100% camera coverage outside of private residences? … Will enough of the public go along with what comes next that this doesn’t keep spiralling?
You're saying it's better for morale, but do you have any proof? My personal experience says the contrary, the company I work at did the same (albeit it's much smaller than GitHub) and I asked some coworkers what they thought about it, about three of them considered it was a waste of resources, I only remember one saying it was OK, so overall morale went down.
Also linux and ghidra... have fun with your windows-stack.
Although it's not clear they actually count them. I posted mine in several weeks ago, but my voter status never updated.
It is actually legal to do so in most states, and since it’s cheaper, you can be sure that it happens.
From Gulliver's Travels by Jonathan Swift, the lands of Lilliput and Gargantua. In one, every resident is tiny, Lilliputian, and in the other: huge, ...Gargantuan

Notably, the book reads in a very modern way, it's a bit shocking to know it was written in the 1700s when stylistically, and according to its vocabulary, it feels so very modern.
That's phishing, not rug-pulling.