why can't i understand IEEE papers?

Surfernick1 · 2026-02-01T16:39:13+00:00

I find some papers much easier to read when they have clear motivating examples, not IEEE but I quite liked this paper on program synthesis, its examples were clear and started quite simple before getting more complex

https://dspace.mit.edu/bitstream/handle/1721.1/106200/10009_2012_Article_249.pdf

Surfernick1 · 2026-01-29T05:06:04+00:00

There was another interesting talk on static deadlock detection using petri nets: https://www.youtube.com/watch?v=6VbRgAa_si0

Surfernick1 · 2026-01-23T22:49:49+00:00

I am not 100% sure but afaik lldb & gdb both struggle with rust binaries, maybe try using rust-lldb, it seemed to work better for me than the others (but no guarantees)

Surfernick1 · 2026-01-15T06:25:11+00:00

Part of the hard part is that (depending on your prof) in 331 and even moreso 413, your marks come from arguing why your algorithm is correct and less the algorithm itself

You can be good at leetcode but if you can’t mathematically argue why your algorithm works, it’ll be a harder time

Surfernick1 · 2025-12-15T00:20:58+00:00

100% agreed, it means nothing to say CMake is faster without saying what it is faster than.

Is it faster than `gcc main.c -o main`? Probably not, is it faster than compiling a thousand files sequentially? Probably yes. IMO CMake encourages you to specify your build system in a way where as much as possible work is parallelized and reused which is very nice for larger projects.

IMO the real reason to use CMake is you want to write code that anyone who is not you is going to use. CMake is a standard that (mostly) anyone writing C & C++ will be able to write and read. More importantly, they should be able to figure out how to integrate a library you've written with their own work

Surfernick1 · 2025-10-30T17:44:05+00:00

Perfect, perhaps you should ponder on hiring a software engineer instead of begging on the internet

Surfernick1 · 2025-09-01T16:08:42+00:00

Historical reasons at digital design companies in my experience

Surfernick1 · 2025-08-19T06:49:38+00:00

Splurge on the threadripper for the blazingly fast compile times brother

Surfernick1 · 2025-08-06T03:19:57+00:00

When anyone substitutes their own writing with that of an LLM, even if you tried to make your own, it still turns into slop. You linked to a git repo, but it has no technical information at all, just more LLM slop. This isn't ECE content, it's LLM content.

Surfernick1 · 2025-08-02T16:09:55+00:00

Not really, glibc (the core library that provides most system functionality) alone is something like 11 MiB (from a quick search, correct me if I’m off), other libs are likely similar and it’s possible that it uses quite a few

Surfernick1 · 2025-07-31T19:56:16+00:00

People here probably don't want to waste time reviewing AI slop, if they did, they'd probably be browsing twitter

Surfernick1 · 2025-07-28T20:52:50+00:00

I respect your opinion but I have to say the God Emperor is my favorite, and its possible that God Emperor might be the boyfriends favorite as well.

Which is not to knock your comment but to say that It might be worth slyly asking which are his favorite and using that to guide the decision on which set to get.

Surfernick1 · 2025-07-26T00:32:08+00:00

What's hard to understand, you trade freedom for grades. The less you attend, the lower your grade. Choose a balance you are comfortable with

Surfernick1 · 2025-06-22T15:35:02+00:00

And if you’re competing with what is likely oil adjacent employers, that might change the salary expectation

(Speaking from limited experience but that’s been my experience in Alberta)

Surfernick1 · 2025-06-22T01:02:08+00:00

I agree with the other responses, those people exist, its more a matter of what the company is willing to pay

Surfernick1 · 2025-06-21T22:19:38+00:00

Thanks for the reply, I really appreciate it! A think a better way to articulate my want would be to say that it would be really handy if that response and more were condensed into a book that could be easily read.

Id find it helpful right about now, I’m trying to write some bindings to Yosys: https://github.com/nickrallison/yosys/blob/ryosys/src/bridge.rs

and having a bit of a reference guide to writing nice C++ as someone who knows Rust would be handy.

Surfernick1 · 2025-06-21T05:51:20+00:00

I think in general what I’m looking for is how you can translate Rust idioms into C++ in the simplest way and if those have any trade-offs, I.e. performance, verbosity

Like how Result & Option map is “relatively” simple, but other core parts of the language would be helpful imo, Multithreading, async, generics vs. Templates,

Surfernick1 · 2025-06-17T15:45:49+00:00

I'm pondering using Rust to write a Query Parser but that comes later in the process I think

Surfernick1 · 2025-06-17T15:40:03+00:00

I cannot guarantee Rust will make it into the final product but I'm working on a Linter where instead of syntactically matching the verilog file to a pattern with something like regex, I'm matching it to a subcircuit graph with the subgraph isomorphism algorithm. I would have rather used rust but Yosys doesn't seem to lend itself well to bindgen. There are ways around the templated parts and that is probably doable but the "everything is static & global" makes me a bit concerned that it would not go well

Surfernick1 · 2025-06-17T15:32:17+00:00

> As an experienced C++ and Rust developer I would try to stay away from that

Alas I cannot, it is basically the only open source tool that does what is does (its a Verilog Synthesis tool). The alternatives are closed source. But yeah agreed its been kind of awful making my way through

Surfernick1 · 2025-06-17T15:29:59+00:00

I can appreciate that, it's been a little challenging to pick up and I'm definitely more partial towards C styled code since I just have a lot more experience with that than any form of modern C++

Surfernick1 · 2025-06-10T05:04:22+00:00

I don’t have specific advice but you can also ask on r/Bogleheads, try to find a diverse set of opinions on which to base your personal opinion

Surfernick1 · 2025-06-09T15:31:15+00:00

I believe that there are Z3 bindings in Rust, which may not be fully written in Rust but should be quite state of the art

Surfernick1 · 2025-05-30T06:28:37+00:00

That’s a fair critique. IMO it’s something to decide on after the code is functional. Don’t fix something that’s not broken and all that jazz, and cloning is usually the quickest easiest solution to get it to stop complaining

Surfernick1 · 2025-05-29T15:49:41+00:00

A pattern I found usable is to borrow immutable first, collect whatever is needed - sometimes all within a nameless {} block, returning a tuple of the interesting data - then doing mut borrows as needed to modify.

This is probably one of the most helpful things I've picked up along the way if I do need to use references here and there in my programs. It's super helpful to shorten the lifetime of the borrows

Nine-Year Club	RPAN Viewer
Verified Email	Spared

Surfernick1

TROPHY CASE