HN user

scrubs

874 karma
Posts30
Comments838
View on HN
news.ycombinator.com 1mo ago

Ask HN: Two specific Postgres encrypt questions

scrubs
2pts3
github.com 1mo ago

User Guide to Model Checking for Industrial Programmers with TLA+

scrubs
1pts1
www.politico.com 5mo ago

'Fundamental reset': Scott Bessent has a plan to free the nation's banks

scrubs
3pts2
news.ycombinator.com 2y ago

Ask HN: Multicast over UDP vs. Multicast Mellanox Infiniband

scrubs
10pts4
news.ycombinator.com 2y ago

Ask HN: Recommendation for company badge IT system

scrubs
2pts2
www.thedailybeast.com 2y ago

Reddit Files to Go Public, Reveals That It Paid CEO $193M Last Year

scrubs
35pts31
news.ycombinator.com 2y ago

Ask HN: Towards memory safety through argument completions

scrubs
2pts1
news.ycombinator.com 2y ago

Ask HN: Semi-automatic build configuration? C++ Modules?

scrubs
2pts2
news.ycombinator.com 2y ago

Ask HN: Source to purchase box with memory that has in-built processor?

scrubs
1pts2
news.ycombinator.com 2y ago

Ask HN: Is there a C++2x way to do ifdef endif without pre-processor?

scrubs
1pts2
www.nature.com 3y ago

Grape for fast and scalable graph processing and random-walk-based embedding

scrubs
1pts0
news.ycombinator.com 3y ago

Ask HN: Strategy for Choosing PRs to Combine

scrubs
1pts2
www.politico.com 3y ago

Elon Musk’s ‘X App’ could be an [ ] headache

scrubs
1pts1
www.politico.com 3y ago

Supreme Court seems poised to reject independent state legislature’ theory

scrubs
5pts3
phys.org 3y ago

Glassy discovery offers computational windfall to researchers across disciplines

scrubs
1pts0
www.tohoku.ac.jp 4y ago

Highly Transparent Solar Cell with 2D Atomic Sheet Successfully Fabricated

scrubs
4pts0
news.ycombinator.com 4y ago

Ask HN: Order preserving hashes for learned Indexes

scrubs
2pts0
news.ycombinator.com 4y ago

Show HN: Intel PMU Profiling

scrubs
6pts0
github.com 4y ago

Looking for bare metal hosting company without virtualized NICs

scrubs
4pts1
news.ycombinator.com 4y ago

Ask HN: How to break down a bonded NIC pair in Linux?

scrubs
2pts2
news.ycombinator.com 4y ago

Ask HN: Looking for bare metal hosting company without virtualized NICs

scrubs
11pts18
www.bloomberg.com 4y ago

Broke Oligarch Says Sanctioned Billionaires Have No Sway over Putin

scrubs
3pts0
github.com 4y ago

DPDK over AWS C5n.metal with ENA NICs

scrubs
1pts2
www.bloomberg.com 4y ago

U.S., EU Crafting Sanctions on Russian Debt, Banks, Individuals

scrubs
3pts1
www.scmp.com 4y ago

China controls electrical grid with quantum satellite

scrubs
8pts0
news.ycombinator.com 4y ago

Ask HN: Anybody enabled IOMMU on AWS metal servers?

scrubs
8pts2
news.ycombinator.com 5y ago

Ask HN: Kubernetes API?

scrubs
1pts3
news.ycombinator.com 5y ago

Ask HN: Go vs. Rust Dependency Management

scrubs
2pts1
news.ycombinator.com 5y ago

Ask HN: Bulk updating of GO module dependencies?

scrubs
2pts4
news.ycombinator.com 5y ago

Ask HN: How to link C++ task with Oracle and Postgres clients

scrubs
2pts4

It means we the USA have to grow up.

- Congress is a failed institution

- must get money out of politics including inside trading. I'm will to pay congress more salary for that. Offenses thereafter are criminal offenses

- the days of pretty boys talking atomically small wedge points on complex issues on tv is over. The shadow boxing over cultural issues to get re-elected by constantly winding up dumb voters is over

- attenuation to the center. Corporations and rich individuals have gotten entitled and too safe which by overshooting will create a far stronger far left, which I do not want either

- do what we say we do instead of just talk lovingly about it: justice to treat all equally under the law.

- stop scapegoating foreigners and immigrants: the failed US congress which is us has been the single most damaging thing to this country. They're weakness has let trump run amuck in addition.

Good lord! Since when did engineering become making crap then fixing crap as a flex? To just make payroll so some corporate robo moron can make rent? You cannot be in my team. Or my company.

Willy nilly giving an agent more (write) access to figure out a bug ... man you're daydreaming.

I sort of agree ... bit casting from an N width integer into an array of ... woah ... that's too far. It's bitcast not byte-cast which has an implied reinterpretation on a same or smaller word size in the cpu.

Once you see that the fact somebody has a u24 in their code is between them and the compiler alone.

As others probably noted byte casting (keeping the same endianess) is what unions are for.

Thank you for response.

You are missunderstanding the transport encryption(everything related to authentication and pg_hba.conf) and the encrytion of the data at rest

Correct! My questions perhaps implied one is connected to the other whereas they are completely separate. I could have been clearer.

it means that indices for encrypted columns become useless and are only a waste of cpu time.

are you saying that blunt-force encryption of all data-at-rest renders indexes pointless? Could you provide more context here?

Cheers

I was briefly employed by a robotics company in the US ... robotics is too nice: glorified if/then/else is better.

The owner was the son of an old school magnate out of PA.

Among other things his line has always stuck with me: "A whale that surfaces is soon harpooned."

The company never made money. I think the whole thing was run as a loss on purpose for tax purposes. I became tired of the head manager/engineer combo (big fish in this tiny, tiny world) and left.

Even they knew this company was never really trying to do anything serious. Strange indeed

If you interested in formal model checking using TLA+, this may of interest you. In this github repository https://github.com/gshanemiller/tla-examples find,

- tla.pdf - numerous examples

The PDF describes model checking in TLA working through minimal background (fairness, model state etc.), application in TLA, two non-trivial models, and two appendices with reference background on TLA, and its procedural cousin PlusCal.

No, not tyranny necessarily. If it's malign morphing into hate speech, racial or genetic seregation, imposing religion, esp. backed up by state power that's a problem. For example, the US has a senate to balance out the house while at the same time California's take on something cannot be rejected out of hand reflexively as tyranny

Politics? Is it? Or is politics a grand word for whining and adults in a perpetual small world? Law, history are at least more grounded as a basis to argue for or against.

Let's not let politics' meaning become so diffuse it's just free speech by another name. Herein "politics" seems to be too inconsequential for a far more consequential result than cycling out party A for B for a few years would have.

I've half joked before that brexit was the only solution Cameron et al saw left because they didnt have a way to hold Brussel's paper pushers to account. Taking your ball and going home is not bold leadership: it's an admission one's argument and solution is weak.

If the people want to change them, they absolutely have the right to do so

Not so fast. They are in a union with other provinces ergo they have a say.

If nonetheless in some asinine way they secede, will they take their portion of Canada's debt, and other liabilities?

Won't all other provinces require them to negotiate a border, security, and trade policy? Surely they can't expect to be separate yet equal to BC or even the NWT?

Exactly. The dod was dumb enough to sign the restrictive contracts too. Simultaneously it's darn time the dod gets off their duff and either demands much higher customer satisfaction or tells the other side we'll handle selected repairs ourselves.

It's the enlisted men/women who ultimately have to bear up under their choices: does their equipment work in battle or not? And tax payers to pay. As soon as the dod discovers they have ultimately accountability whence ultimate control things will balance better

And an aside: it'd be awesome if every round didnt cost 500 million+ ... I have recently been depressed to hear we spent a large majority of missiles etc in Iran. Iran? Really? How in the hell are we gonna deal with something serious? (Iran/oil is serious of course .. but Iran isn't china)

Entitled? Or something?

Reactionary. At worst young kids are lazy (in selected cases only) and nieve about how work works.

Entitlement comes from mental disorder or growing up in affluence like much of the upper 5%.

Moreover, kids from middle to lower income brackets i think work harder, are more resilient, and take their education more seriously than those that just fall in Harvard. The underlying difference? Consequences in the real world. When you always land on your feet or feel untouchable entitlement is 6 months away to a lifetime of clueless.

Im learning zig for kernel bypass packet work. Aside from some noise, and one bug filed on cross compliation (prob simple to fix) bug, it works like I expect. Export of zig code to clib works fine. Comptime is great. Compile time superb. Like TB I will import no other modules ... and avoid all async.

But this link has got me concerned. When I get more ibverbs work done ill see how good/bad it is in rust.

In this kind of extremely low latency high throughput work there is hardly any (mostly none) MT data structures. Memory is pre-allocated for one pinned thread. Atomics are not much used either. So rust isn't going to help on design much. But I think rust/c interoperability is worse than zig.

In fairness to zig many of these issues were closed when zig 0.16.0 was released, which is what im using.

We'll see

You cannot observe infinity operationally. Take 0 and add 1 repeatedly. For what n does n+1 become infinite? Never. Since you can't construct infinity you can only believe in it like God.

Hence the jargon "completed infinity". Semantically --- but not in the symbols themselves 0+1+1..." one can pass from finite to infinite by arguing since every n has a successor define Z to be the set of all successors "completing into infinity".

Not having infinity is the real reason a+b=b+a can't be proved in ultra finitism. Induction which depends on the idea of completed infinity is what is otherwise is used.

The trump administration is the most egregious stuck on stupid government in the 21st century so far. To reach this level of radioactive skank on parade, the US (which includes me) had to fall well below what used to be our own standards.

You know what'd be great foreign policy? 100% energy independence preferably trending green. And thereto no more mideast wars. Or if we do get into one (and if our hand us forced), we no longer have to have one hand tied behind our back because of global oil markets, or the hormutz straight.

Allegedly a Spanish gov official quipped: every time the US helps other countries with democracy, it lucks out and finds oil. There is some truth to that.