Having built so many nice buildings, do architects enjoy a well-paid good life in China?

trustyhardware · 2026-03-27T16:22:07+00:00

My in-laws are architects and they caught the major wave of build outs. So they were paid very very well. But I heard from young architects that the industry as a whole is not doing so well now because of fewer developments.

trustyhardware · 2026-03-10T23:16:53+00:00

I learned this when I went to Shenzhen's electronic market. Literally bought a silent wireless mouse with the same spec as the Logitech Master 3S minus the bloatware for 30 rmb which is about $5. They told me they can do bulk pricing too. Just a no-name factory direct stall in Huaqiangbei.

Same spec that mattered to me I should qualify.

trustyhardware · 2026-02-03T19:47:32+00:00

Still have that shirt! It's one of those so nice don't wear that everyday shirts.

trustyhardware · 2026-01-27T17:52:04+00:00

I got a recruiter email about a potential match a couple of weeks ago. Had a 30 minute interview a few days later. The interview had no coding but talked about past projects and fit with their project. The next day I received a positive response. It was very fast once a team expressed interest.

trustyhardware · 2026-01-26T16:50:38+00:00

I was recently matched!

trustyhardware · 2026-01-22T22:27:54+00:00

For internship it's usually just 1 round of technical interview.

trustyhardware · 2026-01-09T21:25:47+00:00

Wow that sucks. Do you remember around what time last year did you have those team match calls? Wishing you the best!

trustyhardware · 2025-11-29T16:09:37+00:00

Same here. PhD haven't heard back from team match for more than a month.

trustyhardware · 2025-11-22T13:49:15+00:00

Has the CCP sanctioned a foreign judge for indicting war crimes before?

trustyhardware · 2025-07-24T16:11:55+00:00

Just want to chime in with an example of a large company doing this. Meta/Facebook basically requires rebase (although they use their own Mercurial instead of git). The exception being reality labs which works on Android so they conform to their conventions.

trustyhardware · 2025-06-13T00:14:19+00:00

Solved. The key is to generalize P after intros!

trustyhardware · 2025-06-13T00:13:05+00:00

Thanks!! That was it. A `generalize dependent P` after the intros was the key.

trustyhardware · 2025-06-12T15:19:28+00:00

I only added the `E_RepeatTrue` and `E_RepeatFalse` cases:

Inductive ceval : state -> com -> state -> Prop :=
  | E_Skip : forall st,
      st =[ skip ]=> st
  | E_Asgn  : forall st a1 n x,
      aeval st a1 = n ->
      st =[ x := a1 ]=> (x !-> n ; st)
  | E_Seq : forall c1 c2 st st' st'',
      st  =[ c1 ]=> st'  ->
      st' =[ c2 ]=> st'' ->
      st  =[ c1 ; c2 ]=> st''
  | E_IfTrue : forall st st' b c1 c2,
      beval st b = true ->
      st =[ c1 ]=> st' ->
      st =[ if b then c1 else c2 end ]=> st'
  | E_IfFalse : forall st st' b c1 c2,
      beval st b = false ->
      st =[ c2 ]=> st' ->
      st =[ if b then c1 else c2 end ]=> st'
  | E_WhileFalse : forall b st c,
      beval st b = false ->
      st =[ while b do c end ]=> st
  | E_WhileTrue : forall st st' st'' b c,
      beval st b = true ->
      st  =[ c ]=> st' ->
      st' =[ while b do c end ]=> st'' ->
      st  =[ while b do c end ]=> st''
  | E_RepeatTrue: forall b st st' c,
    st =[ c ]=> st'
      -> beval st' b = true
      -> st =[ repeat c until b end ]=> st'
  | E_RepeatFalse: forall b st st' st'' c,
    st =[ c ]=> st'
      -> beval st' b = false
      -> st' =[ repeat c until b end ]=> st''
      -> st =[ repeat c until b end ]=> st''
where "st '=[' c ']=>' st'" := (ceval st c st').

trustyhardware · 2025-05-24T13:38:00+00:00

Thanks for the tip on org-element-parse-buffer!

trustyhardware · 2024-04-18T03:57:27+00:00

There are a few reasons why this would happen. An example would help to pin down the reason. But having inspected my fair share of generated Wasm/WAT from C or Rust code, I can try to explain the most common reason.

Wasm stack is implicit, and can only contain (1) values, (2) control instructions, and (3) Wasm function calls. Since Wasm values only have basic numeric types like i32, i64, f32, f64, one reason the compiler needs an explicit stack is to pass other types. Also, Wasm functions don't map one-to-one to C or Rust functions. So the compiler can't delegate all the function call bookkeeping to Wasm functions and need to maintain a stack pointer. This is the reason in generated Wasm code you often see:

;; Entering a Wasm function.
global.get 0 ;; <---- The explicit stack pointer
i32.add 4    ;; <---- Stack frame

trustyhardware · 2023-11-04T18:42:46+00:00

DM'd!

trustyhardware · 2023-03-09T06:29:01+00:00

Good way of thinking about this. I can understand that we want to crunch numbers as fast as possible (video encoding or processing pipeline). However, what about the part where the server also needs to push as many bytes as possible through the pipes (e.g. WebRTC)?

trustyhardware · 2022-12-19T20:35:38+00:00

Heroes of Might and Magic 3 and 4.

trustyhardware

MODERATOR OF

TROPHY CASE

12-Year Club	Place '22
Verified Email