Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
anticensor
searching Neon…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
6 ms
·
121.
▲
by
anticensor
11mo ago
That notification robot codebase is actually generic, Zara Darcy just used OnlyFans branding to boost her follower base.
122.
▲
by
anticensor
11mo ago
> The type theories of Lean and Rocq are fairly close, with the exception that Lean operates with definitional proof irrelevance as one of the default axioms. This causes Lean to lose subject reduction and decidability of definitinal equ
123.
▲
Severe performance penalty found in VSCode rendering loop
(github.com)
63 points
by
anticensor
11mo ago
|
45 comments
124.
▲
by
anticensor
11mo ago
This is what I would call the value of post-publication review. Pre-publication review is not enough.
125.
▲
by
anticensor
11mo ago
When you consider hardware-software co-design, the problem quits being an algorithms problem and becomes a computer engineering problem.
126.
▲
by
anticensor
11mo ago
hide the cookie modal and suppress the storage of cookies by origin-variable key combination
127.
▲
by
anticensor
11mo ago
uBO lite actually can do this.
128.
▲
by
anticensor
11mo ago
There's only two kinds of cookie banner lists for uBO: "reject all" or "I don't care about cookies", nothing in between.
129.
▲
by
anticensor
11mo ago
Forced liquidation by bankruptcy is another exception there.
130.
▲
by
anticensor
11mo ago
Oh you mean infinite/zero tax glitches.
131.
▲
by
anticensor
11mo ago
This topic is so American. In any other country, you wouldn't have had to consult a tax expert to prepare personal tax statements.
132.
▲
by
anticensor
11mo ago
Whereas almost every other country tries to make it easier to file taxes, even when the underlying tax schedule is complex.
133.
▲
by
anticensor
11mo ago
Defect-defect isn't a winning strategy in a continual setting, it's only a winning strategy in a fixed-iterations setting.
134.
▲
by
anticensor
11mo ago
They have LTSE (Long Term Stock Exchange).
135.
▲
by
anticensor
1y ago
Dev mode packages are self-signed, aren't they?
136.
▲
by
anticensor
1y ago
And so by design.
137.
▲
by
anticensor
1y ago
Farther than 100km..
138.
▲
by
anticensor
1y ago
And OnlyFans which is headquartered in the UK.
139.
▲
Invalid Key Bitting Generator
(github.com)
2 points
by
anticensor
1y ago
|
0 comments
140.
▲
by
anticensor
1y ago
plural of mutex is indeed exmut (exclusive mutation) :)
141.
▲
by
anticensor
1y ago
Why don't they just deploy a per-platform .exe equivalent per video?
142.
▲
by
anticensor
1y ago
There's layouts like Sholes II, Dvořak, BÉPO, Turkish F that's optimised for speed typing.
143.
▲
by
anticensor
1y ago
A massive unrest and protests.
144.
▲
by
anticensor
1y ago
1d, variant (tram) - hard, who thought it was a good idea to send rail-bound vehicles and steerable vehicles down the same road? 3d, variant (orbital) - super hard, so hard that trajectory pre-calculations has to be performed
145.
▲
by
anticensor
1y ago
Why don't they block the shortcut to anyone but whitelisted people that applied beforehand?
146.
▲
by
anticensor
1y ago
Why not filter it by ISIC&ISCO codes (if sector not in whitelisted ISIC code or job not in whitelisted ISCO code, automatic reject of company's immigrant worker request with return code "domestic talent exists")?
147.
▲
by
anticensor
1y ago
Wouldn't they unionise in their own country?
148.
▲
by
anticensor
1y ago
I'd prefer American to British, though.
149.
▲
by
anticensor
1y ago
British to American.
150.
▲
by
anticensor
1y ago
In Turkish, you give attention, expending your mental capability.
More ›