37 stories tagged with #computer-science, in publish-time order across the WeSearch catalog. Tag pages update as new stories ingest.
⌘ RSS feed for this tag → or search "Computer Science"
Which path is better, conversion MSc in Computer Science in Dublin but no optional internship included in the program. Or another conversion master in Computer Science but in Manchester, UK with an optional internship included in the program(labeled as placement).
ToolGate: Token-Efficient Pre-Call Control for Tool-Augmented Vision-Language Agents
Tool-augmented vision-language agents can acquire external perceptual evidence through OCR, detection, segmentation, and other tools, but executing every proposed tool call is cost…
Towards Non-Monotonic Entailment in Propositional Defeasible Standpoint Logic
Recent work in defeasible reasoning has seen notions of preferential semantics and entailment in the style of Kraus et al. applied to modal logics. However, work in this field has …
Scaling Laws for Agent Harnesses via Effective Feedback Compute
Agent harnesses increasingly determine the performance of language-model systems by deciding how models call tools, receive feedback, verify intermediate states, store memory, and …
08/20: Layer 3 – The Network Layer: IP Addresses & Routing Explained
The Layer That Connects the World The Data Link Layer helps devices communicate within the...…
An old interview of Dijkstra (1985)
Step in Tine: Forking Processes in Functional Choreographies
Traditional concurrent-programming techniques require programmers to painstakingly write programs for each participant in a concurrent system. Choreographic programming, in contras…
KPI2KVI: A Multi Agent Workflow for Calculating Key Value Indicators from Service Descriptions
Key Value Indicators (KVIs) provide a decision oriented view of a service by summarizing how operational performance translates into stakeholder value, risk, and outcomes. However,…
ObjectCache: Layerwise Object-Storage Retrieval for KV Cache Reuse
Prefix KV caching has become a key mechanism in LLM serving: it reduces time to first token (TTFT) by avoiding redundant computation across requests that share a prefix (i.e., the …
Computer Science Achievement and Writing Skills Predict Vibe Coding Proficiency
What are good projects to do during the 2-month summer vacation before second year of Computer Science?
SSV: Sparse Speculative Verification for Efficient LLM Inference
Speculative decoding and dynamic sparse attention are two complementary approaches for accelerating long-context LLM inference: the former amortizes target-model execution across m…
There's Never Been a Better Time to Study Computer Science
Even as AI progresses, coders aren’t doomed.…
There’s Never Been a Better Time to Study Computer Science
Even as AI progresses, coders aren’t doomed.…
The abstractions in SICP need a revisit
Why the elegant abstractions of classical computer science fail under the thermal and spatial constraints of 2026 microarchitectures.…
Assembly Code to Machine Code (ARM)
Summary of the video https://www.youtube.com/watch?v=ttJZjP0p_uE I have heard assembly code is the...…
If Majoring In Computer Science Is Doomed Due To AI, The Latest Claim Is That Majoring In Philosophy Is The Next Best Choice
Some say computer science as a major in college is doomed due to AI. The claim is that majoring in philosophy is better. I tackle this. An AI Insider analysis and scoop.…
Lean Refactor: Multi-Objective Controllable Proof Optimization via Agentic Strategy Search
We present Lean Refactor, a plug-and-play retrieval-augmented agentic framework for multi-objective, controllable, and version-robust refactoring of Lean proofs. LLM-generated proo…
Internships for early university / no former employment
1 comment…
Why does the arrow (->) operator in C exist?
3 comments…
San José State leaped to No. 2 in national computer science ranking
San José State's computer engineering and software engineering programs have risen to second place in a national assessment of programming and software engineering skills, surpassi…
AVL Trees Explained: How Rotations Keep BST Operations O(log n)
You learn binary search trees and walk away believing every operation is O(log n). It isn't. That...…
I went to ASU's Computer Science (Software Engineering) program for two years, and I feel like I learned next to nothing
WorldParticle: Unified World Simulation of Lagrangian Particles via Transformer
A unified simulator that can model diverse physical phenomena without solver-specific redesign is a long-standing goal across simulation science. We present a learning-based partic…
OCCAM: Open-set Causal Concept explAnation and Ontology induction for black-box vision Models
Interpreting the decisions of deep image classifiers remains challenging, particularly in black-box settings where model internals are inaccessible. We introduce OCCAM, a framework…
Started Learning Computer Science - Around 50% Done and Loving the Process!
Career Crossroads at 34 yo: FRM for Quant Risk vs. MS in Computer Science (GT OMSCS) for Data Science & AI
Differentially Private Motif-Preserving Multi-modal Hashing
Cross-modal hashing enables efficient retrieval by encoding images and text into compact binary codes. State-of-the-art methods rely on semantic similarity graphs derived from user…
Sharp Spectral Thresholds for Logit Fixed Points
Softmax feedback systems are a common mathematical core of entropy-regularized reinforcement learning, logit game dynamics, population choice, and mean-field variational updates. T…
Looking for some advice as a Computer Science student in India
Memory trees and Taylor expansion of the lambda|-calculus (2012) [pdf]
Base64 encoding and decoding at almost the speed of a memory copy
Many common document formats on the Internet are text-only such as email (MIME) and the Web (HTML, JavaScript, JSON and XML). To include images or executable code in these document…
The Impossibility of Supersized Machines (2017)
In recent years, a number of prominent computer scientists, along with academics in fields such as philosophy and physics, have lent credence to the notion that machines may one da…
How do i prepare for A levels computer science paper 4 🙏😭
Distance Marching for Generative Modeling
Time-unconditional generative models learn time-independent denoising vector fields. But without time conditioning, the same noisy input may correspond to multiple noise levels and…
A Field Guide to Bugs
Personal blog of Stephen Diehl - Software engineer writing about technology, programming, and the future…
Replit's CEO says it's dumb to study computer science thinking you can make a 'boatload' at Google
Amjad Masad said that young people who are not deeply interested in computer science should not study it.…