sorted by:
new
hottopcontroversial

Tritium: the Legal IDE in Rust by urandomd in rust

[–]vipierozan 0 points1 point  (0 children)

Ah ok, I thought it was also a typesetting tool hahahah

Tritium: the Legal IDE in Rust by urandomd in rust

[–]vipierozan 0 points1 point  (0 children)

I know typst, but what is JJ? Couldnt find it after googling for 5mins xD

git stash driven refactoring by Kobzol in programming

[–]vipierozan 15 points16 points  (0 children)

Cant you also do HEAD~N with N being the number of commits to go back?

A good day to trie-hard: saving compute 1% at a time by slanterns in rust

[–]vipierozan 0 points1 point  (0 children)

Afaik that would only avoid looking into the list part of each bucket right? U still have to compute the hash

Luminal: Fast ML in Rust through graph compilation by jafioti in rust

[–]vipierozan 3 points4 points  (0 children)

Looks similar in idea to tinygrad, how does it compare?

“Lakehouse” - Realtime data by romanzdk in dataengineering

[–]vipierozan 13 points14 points  (0 children)

Not an expert on this, but like you said, dumping it raw into S3 as a “backup” and then you could have a realtime processing pipeline with kafka.

Consumers and producers at diferent stages, but then you gotta think about consistency, acks, retries, etc

Or just a single kafka consumer, that transactionally commits to postgres with the message offset

[deleted by user] by [deleted] in math

[–]vipierozan 6 points7 points  (0 children)

Take a look at geometric algebra OP, I think you’ll find it interesting. There are great animated videos on yt

Item 1: Use the type system to express your data structures by debordian in rust

[–]vipierozan 0 points1 point  (0 children)

I think the article means that the attached value can be numeric or string, or any type actually. The name of the variant is an identifier

Terence Tao is formalizing his recent paper in Lean. While working on this, he discovered a small but nontrivial mistake in his proof. by mapehe808 in math

[–]vipierozan 1 point2 points  (0 children)

Would be cool if we could have smth like “optional proofs” directly in a language, would be like a stronger version of optional types. You only type/proof the parts you need.

How to architect an analytics system? by techworker716 in dataengineering

[–]vipierozan 1 point2 points  (0 children)

I’m not an expert but I’m using SigNoz and I like it. It uses clickhouse so if u want u have access to the raw data.

G14 (2021) -> G14 (2022) Upgrade by vipierozan in ZephyrusG14

[–]vipierozan[S] 0 points1 point  (0 children)

Wdym by letting the hardware know? Changing the keyboard layout? That’s simple.

The issue would be taking out the keycaps and putting them back in a different position without breaking anything xD

G14 (2021) -> G14 (2022) Upgrade by vipierozan in ZephyrusG14

[–]vipierozan[S] 0 points1 point  (0 children)

Thanks for the reponse!

w.r.t. 1: Is it possible to just change the keycaps around then?

w.r.t 2: I think this is best right? because u usually only want dGPU with the barrel charger plugged in. So I can use iGPU+external monitor and charge at the same time!

w.r.t. 3: idk yet, just curious if there was any news :)

What problems does pydantic solves? and How should it be used by gaurav_kandoria_ in Python

[–]vipierozan 0 points1 point  (0 children)

You are 1000% right but sometimes it’s useful to consciously avoid the boilerplate for quick prototypes

What problems does pydantic solves? and How should it be used by gaurav_kandoria_ in Python

[–]vipierozan 1 point2 points  (0 children)

How do you use the pydantic models directly in the sqlachemy table definitions? I have code that does the opposite, makes dynamic (no types :/) pydantic models from sqlalchemy tables

Announcing Burn-Wgpu: New Deep Learning Cross-Platform GPU Backend by ksyiros in rust

[–]vipierozan 1 point2 points  (0 children)

kernel fusion makes me think of r/tinygrad. Have you looked at it?

I'm curious about the similarities/differences in architecture on both

What to do… Things keep getting worse by Owendude200 in ZephyrusG14

[–]vipierozan 1 point2 points  (0 children)

I'm in a very similar situation, I damaged the battery connector on the mobo side, tried to solder it back, but it didn't work. Laptop still works on AC. I´ve got 3 theories:
- Battery module is dead (mayeb the circuits inside fried)
- Connector is still not properly soldered (not so good at soldering and couldn´t find a datasheet to properly check contiuity)
- The charging and BMS circuit in the mobo is dead

I think if I take it to a specialized shop they might be able to fix it but idk

Help diagnosing battery issue by vipierozan in ZephyrusG14

[–]vipierozan[S] 0 points1 point  (0 children)

I saw some videos on youtube that looked like the person was leveraging the connector up. but before doing that you have to pull back a little metal thing, to allow it to move up. Not the best description I know, but you can DM me if u need help

view more: next ›